| name | size | date |
|---|---|---|
| libcoq-mathcomp-analysis_1.2.0-2build6_amd64.deb | 15.15M | 2025-09-13 21:29:19 |
| libcoq-mathcomp-classical_1.2.0-2build6_amd64.deb | 2.77M | 2025-09-13 21:29:19 |
| libcoq-mathcomp-analysis_0.6.0-2build2_amd64.deb | 11.94M | 2024-11-26 17:47:54 |
| libcoq-mathcomp-analysis_0.6.4-3build1_amd64.deb | 13.31M | 2024-11-15 06:17:43 |
| libcoq-mathcomp-classical_0.6.4-3build1_amd64.deb | 2.26M | 2024-11-15 06:17:43 |
| libcoq-mathcomp-analysis_0.5.3-1build1_amd64.deb | 11.33M | 2023-08-11 10:33:07 |