| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-corn_8.16.0-2.debian.tar.xz | 3864 bytes | 2023-01-27 06:18:57 |
| 📄 coq-corn_8.16.0-2.dsc | 2092 bytes | 2023-01-27 06:18:57 |
| 📄 coq-corn_8.16.0.orig.tar.gz | 1319677 bytes | 2022-09-06 09:04:08 |
| 📄 libcoq-corn_8.16.0-2+b1_amd64.deb | 11321776 bytes | 2023-02-14 06:26:45 |
| 📄 libcoq-corn_8.16.0-2+b1_arm64.deb | 11319692 bytes | 2023-02-14 06:42:12 |
| 📄 libcoq-corn_8.16.0-2+b1_armhf.deb | 11318328 bytes | 2023-02-14 06:42:19 |
| 📄 libcoq-corn_8.16.0-2+b1_i386.deb | 11318808 bytes | 2023-02-14 06:16:26 |