| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coquelicot_3.4.3-1.debian.tar.xz | 2276 bytes | 2025-02-17 16:37:02 |
| 📄 coquelicot_3.4.3-1.dsc | 2100 bytes | 2025-02-17 16:37:02 |
| 📄 coquelicot_3.4.3.orig.tar.bz2 | 230324 bytes | 2025-02-17 16:37:02 |
| 📄 libcoq-coquelicot_3.2.0-8+b1_amd64.deb | 3256236 bytes | 2023-02-13 07:44:06 |
| 📄 libcoq-coquelicot_3.4.3-1+b3_amd64.deb | 3362628 bytes | 2025-06-15 04:26:48 |
| 📄 libcoq-coquelicot_3.4.3-1+b3_arm64.deb | 3362688 bytes | 2025-06-15 07:43:51 |
| 📄 libcoq-coquelicot_3.4.3-1+b3_riscv64.deb | 3362420 bytes | 2025-06-17 21:30:03 |