Index of /mirrors/ubuntu/pool/universe/c/coq-equations/

directories: 0, files: 23

NameLast modifiedSize
../
libcoq-equations_1.3.1-8.20-1build9_arm64.deb2026-07-09 21:32:301.34 MiB
libcoq-equations_1.3.1-8.20-1build9_amd64v3.deb2026-07-09 13:44:551.28 MiB
libcoq-equations_1.3.1-8.20-1build9_amd64.deb2026-07-09 13:44:501.28 MiB
libcoq-equations_1.3.1-8.20-1build8_arm64.deb2026-03-04 18:34:511.34 MiB
libcoq-equations_1.3.1-8.20-1build8_amd64v3.deb2026-03-04 18:34:471.28 MiB
libcoq-equations_1.3.1-8.20-1build8_amd64.deb2026-03-04 18:34:401.28 MiB
libcoq-equations_1.3.1-8.20-1build5_arm64.deb2025-06-20 19:40:441.35 MiB
libcoq-equations_1.3.1-8.20-1build5_amd64.deb2025-06-20 19:40:401.28 MiB
libcoq-equations_1.3.1-8.20-1build4_amd64.deb2025-02-19 08:53:211.29 MiB
libcoq-equations_1.3-8.18-1build3_amd64.deb2024-04-08 12:59:161.52 MiB
coq-equations_1.3.2-9.2.orig.tar.gz2026-07-29 02:05:591.08 MiB
coq-equations_1.3.2-9.2-2.dsc2026-07-29 02:05:592.19 KiB
coq-equations_1.3.2-9.2-2.debian.tar.xz2026-07-29 02:05:593.43 KiB
coq-equations_1.3.1-8.20.orig.tar.gz2024-11-20 19:47:281.05 MiB
coq-equations_1.3.1-8.20-1build8.dsc2026-03-04 18:33:312.13 KiB
coq-equations_1.3.1-8.20-1build8.debian.tar.xz2026-03-04 18:33:312.98 KiB
coq-equations_1.3.1-8.20-1build5.dsc2025-06-20 15:22:262.13 KiB
coq-equations_1.3.1-8.20-1build5.debian.tar.xz2025-06-20 15:22:252.89 KiB
coq-equations_1.3.1-8.20-1build4.dsc2025-02-19 08:52:172.13 KiB
coq-equations_1.3.1-8.20-1build4.debian.tar.xz2025-02-19 08:52:172.83 KiB
coq-equations_1.3-8.18.orig.tar.gz2023-12-23 18:16:591.05 MiB
coq-equations_1.3-8.18-1build3.dsc2024-04-08 09:57:392.19 KiB
coq-equations_1.3-8.18-1build3.debian.tar.xz2024-04-08 09:57:392.78 KiB