| ⬆️Parent directory | — | — |
| 📦coq-bignums_8.17.0-2.debian.tar.xz | 1.82K | Wed Jan 25 2023 |
| 📄coq-bignums_8.17.0-2.dsc | 2.05K | Wed Jan 25 2023 |
| 📦coq-bignums_8.17.0.orig.tar.gz | 114K | Tue Dec 27 2022 |
| 📦coq-bignums_9.0.0+coq8.20-1.debian.tar.xz | 2.04K | Tue Jun 25 2024 |
| 📄coq-bignums_9.0.0+coq8.20-1.dsc | 2.1K | Tue Jun 25 2024 |
| 📦coq-bignums_9.0.0+coq8.20.orig.tar.gz | 115K | Tue Jun 25 2024 |
| 📦coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz | 2.27K | Tue Jul 28 2026 |
| 📄coq-bignums_9.0.0+rocq9.2-3.dsc | 2.13K | Tue Jul 28 2026 |
| 📦coq-bignums_9.0.0+rocq9.2.orig.tar.gz | 115K | Fri Jul 10 2026 |
| 📦libcoq-bignums_8.17.0-2+b1_amd64.deb | 1.75M | Mon Feb 13 2023 |
| 📦libcoq-bignums_8.17.0-2+b1_i386.deb | 1.74M | Mon Feb 13 2023 |
| 📦libcoq-bignums_9.0.0+coq8.20-1+b9_amd64.deb | 1.83M | Sun Jun 15 2025 |
| 📦libcoq-bignums_9.0.0+rocq9.2-3+b2_amd64.deb | 1.82M | Wed Aug 26 2026 |