| Parent Directory/ | | - | Directory |
| coq-hott_8.19-2.debian.tar.xz | 2024-Aug-03 23:44:21 | 2.9K | application/x-xz |
| coq-hott_8.19-2.dsc | 2024-Aug-03 23:44:21 | 1.7K | application/octet-stream |
| coq-hott_8.19.orig.tar.gz | 2024-Apr-26 21:51:26 | 960.9K | application/gzip |
| coq-hott_8.20-1.debian.tar.xz | 2024-Nov-20 17:57:49 | 2.9K | application/x-xz |
| coq-hott_8.20-1.dsc | 2024-Nov-20 17:57:49 | 1.9K | application/octet-stream |
| coq-hott_8.20.orig.tar.gz | 2024-Nov-20 17:57:49 | 1.0M | application/gzip |
| libcoq-hott_8.19-2+b2_amd64.deb | 2024-Aug-21 11:48:56 | 13.5M | application/vnd.debian.binary-package |
| libcoq-hott_8.19-2+b2_arm64.deb | 2024-Aug-21 11:54:02 | 13.5M | application/vnd.debian.binary-package |
| libcoq-hott_8.20-1+b1_arm64.deb | 2024-Nov-21 00:40:54 | 13.5M | application/vnd.debian.binary-package |
| libcoq-hott_8.20-1+b2_amd64.deb | 2024-Nov-21 00:41:03 | 13.5M | application/vnd.debian.binary-package |