Index of /pub/ubuntu-ports/pool/universe/c/coq-equations

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-equations_1.3-8.18-1build3.debian.tar.xz2024-04-08 07:57 2.8K 
[ ]coq-equations_1.3-8.18-1build3.dsc2024-04-08 07:57 2.2K 
[ ]coq-equations_1.3-8.18.orig.tar.gz2023-12-23 17:16 1.1M 
[ ]coq-equations_1.3.1-8.20-1build4.debian.tar.xz2025-02-19 07:52 2.8K 
[ ]coq-equations_1.3.1-8.20-1build4.dsc2025-02-19 07:52 2.1K 
[ ]coq-equations_1.3.1-8.20-1build5.debian.tar.xz2025-06-20 13:22 2.9K 
[ ]coq-equations_1.3.1-8.20-1build5.dsc2025-06-20 13:22 2.1K 
[ ]coq-equations_1.3.1-8.20-1build8.debian.tar.xz2026-03-04 17:33 3.0K 
[ ]coq-equations_1.3.1-8.20-1build8.dsc2026-03-04 17:33 2.1K 
[ ]coq-equations_1.3.1-8.20.orig.tar.gz2024-11-20 18:47 1.1M 
[ ]coq-equations_1.3.2-9.2-2build3.debian.tar.xz2026-09-10 07:04 3.5K 
[ ]coq-equations_1.3.2-9.2-2build3.dsc2026-09-10 07:04 2.2K 
[ ]coq-equations_1.3.2-9.2-2build4.debian.tar.xz2026-09-18 20:27 3.6K 
[ ]coq-equations_1.3.2-9.2-2build4.dsc2026-09-18 20:27 2.2K 
[ ]coq-equations_1.3.2-9.2.orig.tar.gz2026-07-29 00:05 1.1M 
[ ]libcoq-equations_1.3-8.18-1build3_arm64.deb2024-04-08 13:14 1.6M 
[ ]libcoq-equations_1.3-8.18-1build3_armhf.deb2024-04-08 13:15 1.5M 
[ ]libcoq-equations_1.3-8.18-1build3_ppc64el.deb2024-04-08 13:15 1.5M 
[ ]libcoq-equations_1.3-8.18-1build3_riscv64.deb2024-04-08 13:15 1.5M 
[ ]libcoq-equations_1.3-8.18-1build3_s390x.deb2024-04-08 13:15 1.6M 
[ ]libcoq-equations_1.3.1-8.20-1build4_arm64.deb2025-02-19 07:53 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build4_ppc64el.deb2025-02-19 13:44 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build4_riscv64.deb2025-02-19 13:45 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build4_s390x.deb2025-02-19 11:18 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build5_arm64.deb2025-06-20 17:40 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build5_ppc64el.deb2025-06-20 17:40 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build5_riscv64.deb2025-06-20 19:30 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build5_s390x.deb2025-06-20 17:40 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build8_arm64.deb2026-03-04 17:34 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build8_ppc64el.deb2026-03-04 17:34 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build8_riscv64.deb2026-03-04 17:35 1.3M 
[ ]libcoq-equations_1.3.1-8.20-1build8_s390x.deb2026-03-04 17:35 1.3M 
[ ]libcoq-equations_1.3.2-9.2-2build3_arm64.deb2026-09-10 18:35 10M 
[ ]libcoq-equations_1.3.2-9.2-2build3_ppc64el.deb2026-09-10 18:37 10M 
[ ]libcoq-equations_1.3.2-9.2-2build3_riscv64.deb2026-09-11 03:05 11M 
[ ]libcoq-equations_1.3.2-9.2-2build3_s390x.deb2026-09-10 18:37 10M 
[ ]libcoq-equations_1.3.2-9.2-2build4_arm64.deb2026-09-18 20:32 10M 
[ ]libcoq-equations_1.3.2-9.2-2build4_ppc64el.deb2026-09-18 20:33 10M 
[ ]libcoq-equations_1.3.2-9.2-2build4_s390x.deb2026-09-18 20:34 10M