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

directories: 0, files: 17

NameLast modifiedSize
../
libcoq-hott_9.0-1build5_arm64.deb2026-03-03 22:27:1716.10 MiB
libcoq-hott_9.0-1build5_amd64v3.deb2026-03-03 22:26:5416.10 MiB
libcoq-hott_9.0-1build5_amd64.deb2026-03-03 22:26:2616.10 MiB
libcoq-hott_9.0-1build2_arm64.deb2025-06-20 15:24:4216.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-1build5.dsc2026-03-03 22:25:191.98 KiB
coq-hott_9.0-1build5.debian.tar.xz2026-03-03 22:25:193.16 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