| ⬆️Parent directory | — | — |
| 📦coq-interval_4.11.1-1build11.debian.tar.xz | 9.4K | Mon Sep 01 2025 |
| 📄coq-interval_4.11.1-1build11.dsc | 2.15K | Mon Sep 01 2025 |
| 📦coq-interval_4.11.1-1build16.debian.tar.xz | 9.51K | Mon Mar 09 2026 |
| 📄coq-interval_4.11.1-1build16.dsc | 2.15K | Mon Mar 09 2026 |
| 📦coq-interval_4.11.1-1build7.debian.tar.xz | 9.33K | Wed Feb 19 2025 |
| 📄coq-interval_4.11.1-1build7.dsc | 2.14K | Wed Feb 19 2025 |
| 📦coq-interval_4.11.1.orig.tar.gz | 372K | Thu Nov 21 2024 |
| 📦coq-interval_4.9.0-1build5.debian.tar.xz | 9.23K | Mon Apr 08 2024 |
| 📄coq-interval_4.9.0-1build5.dsc | 2.22K | Mon Apr 08 2024 |
| 📦coq-interval_4.9.0.orig.tar.bz2 | 276K | Wed Dec 27 2023 |
| 📦libcoq-interval_4.11.1-1build11_amd64.deb | 7.29M | Tue Sep 02 2025 |
| 📦libcoq-interval_4.11.1-1build16_amd64.deb | 7.29M | Mon Mar 09 2026 |
| 📦libcoq-interval_4.11.1-1build7_amd64.deb | 7.29M | Thu Feb 20 2025 |
| 📦libcoq-interval_4.9.0-1build5_amd64.deb | 6.52M | Mon Apr 08 2024 |