| ⬆️Parent directory | — | — |
| 📦coq-unimath_20220816-2.debian.tar.xz | 1.74K | Wed Jan 25 2023 |
| 📄coq-unimath_20220816-2.dsc | 2.05K | Wed Jan 25 2023 |
| 📦coq-unimath_20220816.orig.tar.gz | 1.9M | Mon Aug 22 2022 |
| 📦coq-unimath_20240923-2.debian.tar.xz | 2.24K | Mon Nov 25 2024 |
| 📄coq-unimath_20240923-2.dsc | 2.06K | Mon Nov 25 2024 |
| 📦coq-unimath_20240923.orig.tar.gz | 3.45M | Wed Nov 20 2024 |
| 📦coq-unimath_20260603-2.debian.tar.xz | 2.38K | Tue Jul 28 2026 |
| 📄coq-unimath_20260603-2.dsc | 2.07K | Tue Jul 28 2026 |
| 📦coq-unimath_20260603.orig.tar.gz | 4.01M | Fri Jul 10 2026 |
| 📦libcoq-unimath_20220816-2+b1_amd64.deb | 39M | Mon Feb 13 2023 |
| 📦libcoq-unimath_20220816-2+b1_i386.deb | 39.1M | Mon Feb 13 2023 |
| 📦libcoq-unimath_20240923-2+b4_amd64.deb | 49.5M | Sun Jun 15 2025 |
| 📦libcoq-unimath_20260603-2+b2_amd64.deb | 55.9M | Wed Aug 26 2026 |
| 📦libcoq-unimath_20260603-2_i386.deb | 55.9M | Wed Jul 29 2026 |