| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-hott_8.19-2_ppc64.buildinfo | 6510 bytes | 2024-08-03 21:03:03 |
| 📄 coq-hott_9.0-2_ppc64.buildinfo | 6526 bytes | 2025-10-29 21:03:02 |
| 📄 libcoq-hott_8.19-2_ppc64.deb | 14226904 bytes | 2024-08-03 21:03:03 |
| 📄 libcoq-hott_9.0-2_ppc64.deb | 14666576 bytes | 2025-10-29 21:03:02 |