| ⬆️Parent directory | — | — |
| 📦coq-math-classes_8.18.0-1build3.debian.tar.xz | 3.06K | Mon Apr 08 2024 |
| 📄coq-math-classes_8.18.0-1build3.dsc | 2.19K | Mon Apr 08 2024 |
| 📦coq-math-classes_8.18.0.orig.tar.gz | 166K | Sun Dec 24 2023 |
| 📦coq-math-classes_8.19.0-1build13.debian.tar.xz | 3.2K | Wed Feb 19 2025 |
| 📄coq-math-classes_8.19.0-1build13.dsc | 2.12K | Wed Feb 19 2025 |
| 📦coq-math-classes_8.19.0-1build14.debian.tar.xz | 3.22K | Fri Jun 20 2025 |
| 📄coq-math-classes_8.19.0-1build14.dsc | 2.12K | Fri Jun 20 2025 |
| 📦coq-math-classes_8.19.0-1build17.debian.tar.xz | 3.33K | Thu Mar 05 2026 |
| 📄coq-math-classes_8.19.0-1build17.dsc | 2.12K | Thu Mar 05 2026 |
| 📦coq-math-classes_8.19.0.orig.tar.gz | 166K | Thu May 02 2024 |
| 📦coq-math-classes_9.2.0-1build3.debian.tar.xz | 3.11K | Sat Sep 19 2026 |
| 📄coq-math-classes_9.2.0-1build3.dsc | 2.12K | Sat Sep 19 2026 |
| 📦coq-math-classes_9.2.0.orig.tar.gz | 166K | Wed Jul 29 2026 |
| 📦libcoq-math-classes_8.18.0-1build3_amd64.deb | 3.19M | Mon Apr 08 2024 |
| 📦libcoq-math-classes_8.19.0-1build13_amd64.deb | 3.1M | Wed Feb 19 2025 |
| 📦libcoq-math-classes_8.19.0-1build14_amd64.deb | 3.09M | Sat Jun 21 2025 |
| 📦libcoq-math-classes_8.19.0-1build17_amd64.deb | 3.09M | Thu Mar 05 2026 |
| 📦libcoq-math-classes_9.2.0-1build3_amd64.deb | 3.15M | Sat Sep 19 2026 |