Triple - Together we Inspire
News
About us
Contact
Careers
/archive/ubuntu/pool/universe/c/coq-hott/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
coq-hott_8.16-2build2.debian.tar.xz
2648
2023-Feb-16 18:50
coq-hott_8.16-2build2.dsc
2028
2023-Feb-16 18:50
coq-hott_8.16.orig.tar.gz
868101
2022-Nov-06 03:17
coq-hott_8.18-1.debian.tar.xz
2844
2023-Sep-04 08:09
coq-hott_8.18-1.dsc
2029
2023-Sep-04 08:09
coq-hott_8.18-3build4.debian.tar.xz
3128
2024-Apr-08 07:57
coq-hott_8.18-3build4.dsc
2107
2024-Apr-08 07:57
coq-hott_8.18.orig.tar.gz
909335
2023-Sep-04 08:09
coq-hott_8.19-1build2.debian.tar.xz
2988
2024-May-13 18:39
coq-hott_8.19-1build2.dsc
2028
2024-May-13 18:39
coq-hott_8.19-1build3.debian.tar.xz
3008
2024-Jun-15 14:43
coq-hott_8.19-1build3.dsc
2028
2024-Jun-15 14:43
coq-hott_8.19.orig.tar.gz
983985
2024-May-02 11:53
libcoq-hott_8.16-2build2_amd64.deb
16450642
2023-Feb-16 18:50
libcoq-hott_8.18-1_amd64.deb
16778204
2023-Sep-04 08:50
libcoq-hott_8.18-3build4_amd64.deb
14458730
2024-Apr-08 07:57
libcoq-hott_8.19-1build2_amd64.deb
16227822
2024-May-13 18:40
libcoq-hott_8.19-1build3_amd64.deb
16193786
2024-Jun-15 15:23