Index of /ubuntu/pool/universe/c/coq-hott/
name
size
date
libcoq-hott_9.0-1build4_amd64v3.deb
16.10M
2026-01-29 20:01:45
libcoq-hott_9.0-1build4_amd64.deb
16.10M
2026-01-29 20:01:37
coq-hott_9.0-1build4.debian.tar.xz
3.1K
2026-01-29 19:55:01
coq-hott_9.0-1build4.dsc
2.0K
2026-01-29 19:55:01
libcoq-hott_9.0-1build3_amd64v3.deb
16.10M
2026-01-05 20:07:42
libcoq-hott_9.0-1build3_amd64.deb
16.10M
2026-01-05 20:07:28
coq-hott_9.0-1build3.debian.tar.xz
3.1K
2026-01-05 20:02:54
coq-hott_9.0-1build3.dsc
2.0K
2026-01-05 20:02:54
libcoq-hott_9.0-1build2_amd64.deb
16.10M
2025-06-20 13:23:36
coq-hott_9.0-1build2.debian.tar.xz
3.1K
2025-06-20 13:22:27
coq-hott_9.0-1build2.dsc
2.0K
2025-06-20 13:22:27
libcoq-hott_9.0-1build1_amd64.deb
16.15M
2025-02-18 21:25:30
coq-hott_9.0-1build1.debian.tar.xz
3.0K
2025-02-18 21:25:08
coq-hott_9.0-1build1.dsc
2.0K
2025-02-18 21:25:08
coq-hott_9.0.orig.tar.gz
1.07M
2025-02-18 01:39:13
libcoq-hott_8.18-3build4_amd64.deb
13.79M
2024-04-08 07:57:46
coq-hott_8.18-3build4.debian.tar.xz
3.1K
2024-04-08 07:57:41
coq-hott_8.18-3build4.dsc
2.1K
2024-04-08 07:57:41
coq-hott_8.18.orig.tar.gz
0.87M
2023-09-04 08:09:29