| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-bignums_9.0.0+coq8.20-1.debian.tar.xz | 2080 bytes | 2024-06-25 06:50:57 |
| 📄 coq-bignums_9.0.0+coq8.20-1.dsc | 2146 bytes | 2024-06-25 06:50:57 |
| 📄 coq-bignums_9.0.0+coq8.20.orig.tar.gz | 117267 bytes | 2024-06-25 06:50:57 |
| 📄 libcoq-bignums_9.0.0+coq8.20-1+b8_arm64.deb | 1914676 bytes | 2025-06-15 10:55:02 |
| 📄 libcoq-bignums_9.0.0+coq8.20-1+b8_riscv64.deb | 1913932 bytes | 2025-06-15 11:05:09 |
| 📄 libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb | 1914184 bytes | 2025-06-15 10:49:52 |