Index of /mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/coq-hott/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-hott_8.18-3build4.debian.tar.xz2024-Apr-08 09:57:413.0Kapplication/octet-stream
coq-hott_8.18-3build4.dsc2024-Apr-08 09:57:412.0Kapplication/octet-stream
coq-hott_8.18.orig.tar.gz2023-Sep-04 10:09:29888.0Kapplication/x-gzip
coq-hott_9.0-1build1.debian.tar.xz2025-Feb-18 22:25:083.0Kapplication/octet-stream
coq-hott_9.0-1build1.dsc2025-Feb-18 22:25:081.9Kapplication/octet-stream
coq-hott_9.0-1build2.debian.tar.xz2025-Jun-20 15:22:273.0Kapplication/octet-stream
coq-hott_9.0-1build2.dsc2025-Jun-20 15:22:271.9Kapplication/octet-stream
coq-hott_9.0-1build5.debian.tar.xz2026-Mar-03 22:25:193.1Kapplication/octet-stream
coq-hott_9.0-1build5.dsc2026-Mar-03 22:25:191.9Kapplication/octet-stream
coq-hott_9.0.orig.tar.gz2025-Feb-18 02:39:131.0Mapplication/x-gzip
coq-hott_9.1-2build2.debian.tar.xz2026-Aug-27 16:19:562.7Kapplication/octet-stream
coq-hott_9.1-2build2.dsc2026-Aug-27 16:19:561.9Kapplication/octet-stream
coq-hott_9.1.orig.tar.gz2026-Jul-28 19:29:451.1Mapplication/x-gzip
libcoq-hott_8.18-3build4_amd64.deb2024-Apr-08 09:57:4613.8Mapplication/octet-stream
libcoq-hott_9.0-1build1_amd64.deb2025-Feb-18 22:25:3016.1Mapplication/octet-stream
libcoq-hott_9.0-1build2_amd64.deb2025-Jun-20 15:23:3616.1Mapplication/octet-stream
libcoq-hott_9.0-1build2_arm64.deb2025-Jun-20 15:24:4216.1Mapplication/octet-stream
libcoq-hott_9.0-1build5_amd64.deb2026-Mar-03 22:26:2616.1Mapplication/octet-stream
libcoq-hott_9.0-1build5_amd64v3.deb2026-Mar-03 22:26:5416.1Mapplication/octet-stream
libcoq-hott_9.0-1build5_arm64.deb2026-Mar-03 22:27:1716.1Mapplication/octet-stream
libcoq-hott_9.1-2_amd64.deb2026-Aug-18 18:19:5716.6Mapplication/octet-stream
libcoq-hott_9.1-2_amd64v3.deb2026-Aug-18 18:48:1616.6Mapplication/octet-stream
libcoq-hott_9.1-2build2_arm64.deb2026-Aug-27 16:20:3216.6Mapplication/octet-stream
lighttpd/1.4.19