| ⬆️Parent directory | — | — |
| 📦coq-math-classes_8.15.0-4.debian.tar.xz | 2.57K | Thu Jan 26 2023 |
| 📄coq-math-classes_8.15.0-4.dsc | 2.12K | Thu Jan 26 2023 |
| 📦coq-math-classes_8.15.0.orig.tar.gz | 165K | Fri Jul 08 2022 |
| 📦coq-math-classes_8.19.0-1.debian.tar.xz | 2.87K | Fri Apr 26 2024 |
| 📄coq-math-classes_8.19.0-1.dsc | 2.12K | Fri Apr 26 2024 |
| 📦coq-math-classes_8.19.0.orig.tar.gz | 166K | Fri Apr 26 2024 |
| 📦coq-math-classes_9.2.0-1.debian.tar.xz | 2.97K | Tue Jul 28 2026 |
| 📄coq-math-classes_9.2.0-1.dsc | 2.13K | Tue Jul 28 2026 |
| 📦coq-math-classes_9.2.0.orig.tar.gz | 166K | Tue Jul 28 2026 |
| 📦libcoq-math-classes_8.15.0-4+b1_amd64.deb | 2.84M | Mon Feb 13 2023 |
| 📦libcoq-math-classes_8.15.0-4+b1_i386.deb | 2.84M | Mon Feb 13 2023 |
| 📦libcoq-math-classes_8.19.0-1+b11_amd64.deb | 2.7M | Sun Jun 15 2025 |
| 📦libcoq-math-classes_9.2.0-1+b2_amd64.deb | 2.75M | Wed Aug 26 2026 |