| ⬆️Parent directory | — | — |
| 📦libcoq-mathcomp-real-closed_1.1.3-1+b4_amd64.deb | 2.19M | Tue Feb 14 2023 |
| 📦libcoq-mathcomp-real-closed_1.1.3-1+b4_i386.deb | 2.19M | Tue Feb 14 2023 |
| 📦libcoq-mathcomp-real-closed_2.0.2-1+b7_amd64.deb | 2.47M | Sun Jun 15 2025 |
| 📦libcoq-mathcomp-real-closed_2.0.6-2+b2_amd64.deb | 2.74M | Sat Sep 19 2026 |
| 📦mathcomp-real-closed_1.1.3-1.debian.tar.xz | 8.48K | Fri Jul 08 2022 |
| 📄mathcomp-real-closed_1.1.3-1.dsc | 2.22K | Fri Jul 08 2022 |
| 📦mathcomp-real-closed_1.1.3.orig.tar.gz | 116K | Fri Jul 08 2022 |
| 📦mathcomp-real-closed_2.0.2-1.debian.tar.xz | 8.78K | Wed Dec 18 2024 |
| 📄mathcomp-real-closed_2.0.2-1.dsc | 2.23K | Wed Dec 18 2024 |
| 📦mathcomp-real-closed_2.0.2.orig.tar.gz | 122K | Wed Dec 18 2024 |
| 📦mathcomp-real-closed_2.0.6-2.debian.tar.xz | 9.24K | Wed Aug 12 2026 |
| 📄mathcomp-real-closed_2.0.6-2.dsc | 2.23K | Wed Aug 12 2026 |
| 📦mathcomp-real-closed_2.0.6.orig.tar.gz | 121K | Wed Jul 29 2026 |