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

directories: 0, files: 11

NameLast modifiedSize
../
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-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