| ⬆️Parent directory | — | — |
| 📦coq-hott_8.16-2.debian.tar.xz | 2.51K | Wed Jan 25 2023 |
| 📄coq-hott_8.16-2.dsc | 1.99K | Wed Jan 25 2023 |
| 📦coq-hott_8.16.orig.tar.gz | 848K | Tue Sep 06 2022 |
| 📦coq-hott_9.0-1.debian.tar.xz | 2.95K | Mon Feb 17 2025 |
| 📄coq-hott_9.0-1.dsc | 1.99K | Mon Feb 17 2025 |
| 📦coq-hott_9.0.orig.tar.gz | 1.07M | Mon Feb 17 2025 |
| 📦coq-hott_9.1-2.debian.tar.xz | 2.69K | Tue Jul 28 2026 |
| 📄coq-hott_9.1-2.dsc | 2K | Tue Jul 28 2026 |
| 📦coq-hott_9.1.orig.tar.gz | 1.13M | Fri Jul 10 2026 |
| 📦libcoq-hott_8.16-2+b1_amd64.deb | 13.5M | Mon Feb 13 2023 |
| 📦libcoq-hott_8.16-2+b1_i386.deb | 13.5M | Mon Feb 13 2023 |
| 📦libcoq-hott_9.0-1+b2_amd64.deb | 14.1M | Sun Jun 15 2025 |
| 📦libcoq-hott_9.1-2+b2_amd64.deb | 14.5M | Wed Aug 26 2026 |
| 📦libcoq-hott_9.1-2_i386.deb | 14.5M | Tue Jul 28 2026 |