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

directories: 0, files: 19

NameLast modifiedSize
../
libcoq-hott_9.0-1build4_amd64v3.deb2026-01-29 21:01:4516.10 MiB
libcoq-hott_9.0-1build4_amd64.deb2026-01-29 21:01:3716.10 MiB
libcoq-hott_9.0-1build3_amd64v3.deb2026-01-05 21:07:4216.10 MiB
libcoq-hott_9.0-1build3_amd64.deb2026-01-05 21:07:2816.10 MiB
libcoq-hott_9.0-1build2_amd64.deb2025-06-20 15:23:3616.10 MiB
libcoq-hott_9.0-1build1_amd64.deb2025-02-18 22:25:3016.15 MiB
libcoq-hott_8.18-3build4_amd64.deb2024-04-08 09:57:4613.79 MiB
coq-hott_9.0.orig.tar.gz2025-02-18 02:39:131.07 MiB
coq-hott_9.0-1build4.dsc2026-01-29 20:55:011.98 KiB
coq-hott_9.0-1build4.debian.tar.xz2026-01-29 20:55:013.12 KiB
coq-hott_9.0-1build3.dsc2026-01-05 21:02:541.98 KiB
coq-hott_9.0-1build3.debian.tar.xz2026-01-05 21:02:543.10 KiB
coq-hott_9.0-1build2.dsc2025-06-20 15:22:271.98 KiB
coq-hott_9.0-1build2.debian.tar.xz2025-06-20 15:22:273.09 KiB
coq-hott_9.0-1build1.dsc2025-02-18 22:25:081.98 KiB
coq-hott_9.0-1build1.debian.tar.xz2025-02-18 22:25:083.02 KiB
coq-hott_8.18.orig.tar.gz2023-09-04 10:09:29888.02 KiB
coq-hott_8.18-3build4.dsc2024-04-08 09:57:412.06 KiB
coq-hott_8.18-3build4.debian.tar.xz2024-04-08 09:57:413.05 KiB