| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-equations_1.3.1-8.20-1.debian.tar.xz | 2748 bytes | 2024-11-20 10:02:49 |
| 📄 coq-equations_1.3.1-8.20-1.dsc | 2180 bytes | 2024-11-20 10:02:49 |
| 📄 coq-equations_1.3.1-8.20.orig.tar.gz | 1104362 bytes | 2024-11-20 10:02:49 |
| 📄 libcoq-equations_1.3.1-8.20-1+b4_amd64.deb | 1209136 bytes | 2025-06-15 11:15:16 |
| 📄 libcoq-equations_1.3.1-8.20-1+b4_arm64.deb | 1230080 bytes | 2025-06-15 11:15:10 |
| 📄 libcoq-equations_1.3.1-8.20-1+b4_riscv64.deb | 1209484 bytes | 2025-06-15 12:00:38 |