| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-interval_4.11.1-1.debian.tar.xz | 9364 bytes | 2024-11-20 10:07:51 |
| 📄 coq-interval_4.11.1-1.dsc | 2191 bytes | 2024-11-20 10:07:51 |
| 📄 coq-interval_4.11.1.orig.tar.gz | 380862 bytes | 2024-11-20 10:07:51 |
| 📄 coq-interval_4.6.1-2.debian.tar.xz | 8788 bytes | 2023-01-27 06:18:57 |
| 📄 coq-interval_4.6.1-2.dsc | 2187 bytes | 2023-01-27 06:18:57 |
| 📄 coq-interval_4.6.1.orig.tar.bz2 | 259459 bytes | 2022-12-13 10:17:42 |
| 📄 libcoq-interval_4.6.1-2+b1_armhf.deb | 4620764 bytes | 2023-05-22 22:08:02 |