Index of /mirrors/ports.ubuntu.com/ubuntu-ports/pool/universe/c/coqeal

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coqeal_2.0.1-1build5.debian.tar.xz2024-04-08 09:57 2.5K 
[TXT]coqeal_2.0.1-1build5.dsc2024-04-08 09:57 2.2K 
[ ]coqeal_2.0.1.orig.tar.gz2024-01-21 06:45 212K 
[ ]coqeal_2.0.2-2build5.debian.tar.xz2024-09-17 18:56 2.5K 
[TXT]coqeal_2.0.2-2build5.dsc2024-09-17 18:56 2.1K 
[ ]coqeal_2.0.2.orig.tar.gz2024-05-03 03:55 212K 
[ ]coqeal_2.0.3-1build1.debian.tar.xz2024-12-21 00:51 2.4K 
[TXT]coqeal_2.0.3-1build1.dsc2024-12-21 00:51 2.1K 
[ ]coqeal_2.0.3-1build2.debian.tar.xz2025-01-23 10:05 2.5K 
[TXT]coqeal_2.0.3-1build2.dsc2025-01-23 10:05 2.1K 
[ ]coqeal_2.0.3.orig.tar.gz2024-12-19 00:41 212K 
[ ]libcoq-coqeal_2.0.1-1build5_arm64.deb2024-04-09 10:28 5.3M 
[ ]libcoq-coqeal_2.0.1-1build5_armhf.deb2024-04-09 09:42 5.3M 
[ ]libcoq-coqeal_2.0.1-1build5_ppc64el.deb2024-04-09 09:42 5.3M 
[ ]libcoq-coqeal_2.0.1-1build5_riscv64.deb2024-04-09 12:43 5.3M 
[ ]libcoq-coqeal_2.0.1-1build5_s390x.deb2024-04-09 09:42 5.3M 
[ ]libcoq-coqeal_2.0.2-2build5_arm64.deb2024-09-20 06:15 5.7M 
[ ]libcoq-coqeal_2.0.2-2build5_ppc64el.deb2024-09-20 08:58 5.7M 
[ ]libcoq-coqeal_2.0.2-2build5_riscv64.deb2024-09-20 18:50 5.7M 
[ ]libcoq-coqeal_2.0.2-2build5_s390x.deb2024-09-20 06:15 5.7M 
[ ]libcoq-coqeal_2.0.3-1build1_arm64.deb2024-12-21 01:57 6.0M 
[ ]libcoq-coqeal_2.0.3-1build1_ppc64el.deb2024-12-21 01:57 6.0M 
[ ]libcoq-coqeal_2.0.3-1build1_riscv64.deb2024-12-21 10:03 6.0M 
[ ]libcoq-coqeal_2.0.3-1build1_s390x.deb2024-12-21 01:57 6.0M 
[ ]libcoq-coqeal_2.0.3-1build2_arm64.deb2025-01-26 15:01 6.0M 
[ ]libcoq-coqeal_2.0.3-1build2_ppc64el.deb2025-01-26 15:01 6.0M 
[ ]libcoq-coqeal_2.0.3-1build2_s390x.deb2025-01-26 15:01 6.0M