Index of /ubuntu/pool/universe/c/coq-hott
Name
Last modified
Size
Description
Parent Directory
-
coq-hott_8.16-2build2.debian.tar.xz
2023-02-16 21:50
2.6K
coq-hott_8.16-2build2.dsc
2023-02-16 21:50
2.0K
coq-hott_8.16.orig.tar.gz
2022-11-06 06:17
848K
coq-hott_8.18-1.debian.tar.xz
2023-09-04 11:09
2.8K
coq-hott_8.18-1.dsc
2023-09-04 11:09
2.0K
coq-hott_8.18-3build4.debian.tar.xz
2024-04-08 10:57
3.1K
coq-hott_8.18-3build4.dsc
2024-04-08 10:57
2.1K
coq-hott_8.18.orig.tar.gz
2023-09-04 11:09
888K
coq-hott_8.19-2.debian.tar.xz
2024-08-04 02:25
2.9K
coq-hott_8.19-2.dsc
2024-08-04 02:25
1.8K
coq-hott_8.19-2build3.debian.tar.xz
2024-09-07 18:43
3.0K
coq-hott_8.19-2build3.dsc
2024-09-07 18:43
2.0K
coq-hott_8.19.orig.tar.gz
2024-05-02 14:53
961K
coq-hott_8.20-1build1.debian.tar.xz
2024-11-21 06:11
3.0K
coq-hott_8.20-1build1.dsc
2024-11-21 06:11
2.0K
coq-hott_8.20.orig.tar.gz
2024-11-20 21:47
1.0M
libcoq-hott_8.16-2build2_amd64.deb
2023-02-16 21:50
16M
libcoq-hott_8.18-1_amd64.deb
2023-09-04 11:50
16M
libcoq-hott_8.18-3build4_amd64.deb
2024-04-08 10:57
14M
libcoq-hott_8.19-2_amd64.deb
2024-08-04 03:14
15M
libcoq-hott_8.19-2build3_amd64.deb
2024-09-07 18:44
15M
libcoq-hott_8.20-1build1_amd64.deb
2024-11-21 06:11
16M
Apache/2.4.52 (Ubuntu) Server at mirror.renu.ac.ug Port 443