| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-corn_8.20.0-1.debian.tar.xz | 4296 bytes | 2025-02-17 16:37:02 |
| 📄 coq-corn_8.20.0-1.dsc | 2117 bytes | 2025-02-17 16:37:02 |
| 📄 coq-corn_8.20.0.orig.tar.gz | 1321158 bytes | 2025-02-17 16:37:02 |
| 📄 libcoq-corn_8.16.0-2+b1_amd64.deb | 11321776 bytes | 2023-02-14 06:26:45 |
| 📄 libcoq-corn_8.20.0-1+b2_riscv64.deb | 13343180 bytes | 2025-06-17 10:17:30 |
| 📄 libcoq-corn_8.20.0-1+b4_amd64.deb | 13342344 bytes | 2025-06-17 11:08:22 |
| 📄 libcoq-corn_8.20.0-1+b4_arm64.deb | 13341540 bytes | 2025-06-17 11:28:26 |