|
Go up
|
— |
— |
|
|
coq-hott_8.18-3build4.debian.tar.xz
|
3,128 |
|
|
|
coq-hott_8.18-3build4.dsc
|
2,107 |
|
|
|
coq-hott_8.18.orig.tar.gz
|
909,335 |
|
|
|
coq-hott_9.0-1build1.debian.tar.xz
|
3,088 |
|
|
|
coq-hott_9.0-1build1.dsc
|
2,024 |
|
|
|
coq-hott_9.0-1build2.debian.tar.xz
|
3,160 |
|
|
|
coq-hott_9.0-1build2.dsc
|
2,024 |
|
|
|
coq-hott_9.0-1build5.debian.tar.xz
|
3,232 |
|
|
|
coq-hott_9.0-1build5.dsc
|
2,024 |
|
|
|
coq-hott_9.0.orig.tar.gz
|
1,118,988 |
|
|
|
coq-hott_9.1-2build4.debian.tar.xz
|
2,864 |
|
|
|
coq-hott_9.1-2build4.dsc
|
2,031 |
|
|
|
coq-hott_9.1.orig.tar.gz
|
1,184,742 |
|
|
|
libcoq-hott_8.18-3build4_amd64.deb
|
14,458,730 |
|
|
|
libcoq-hott_9.0-1build1_amd64.deb
|
16,932,404 |
|
|
|
libcoq-hott_9.0-1build2_amd64.deb
|
16,882,784 |
|
|
|
libcoq-hott_9.0-1build2_arm64.deb
|
16,881,340 |
|
|
|
libcoq-hott_9.0-1build5_amd64.deb
|
16,881,912 |
|
|
|
libcoq-hott_9.0-1build5_amd64v3.deb
|
16,881,970 |
|
|
|
libcoq-hott_9.0-1build5_arm64.deb
|
16,881,682 |
|
|
|
libcoq-hott_9.1-2build4_amd64.deb
|
17,421,898 |
|
|
|
libcoq-hott_9.1-2build4_amd64v3.deb
|
17,421,502 |
|
|
|
libcoq-hott_9.1-2build4_arm64.deb
|
17,423,166 |
|
|
