| name | size | date |
|---|---|---|
| libcoq-mathcomp-analysis_1.9.0-1build9_amd64.deb | 19.01M | 2026-03-08 17:18:40 |
| libcoq-mathcomp-classical_1.9.0-1build9_amd64.deb | 3.67M | 2026-03-08 17:18:40 |
| libcoq-mathcomp-analysis_1.9.0-1build4_amd64.deb | 19.02M | 2025-09-02 08:35:54 |
| libcoq-mathcomp-classical_1.9.0-1build4_amd64.deb | 3.67M | 2025-09-02 08:35:52 |
| libcoq-mathcomp-analysis_1.9.0-1_amd64.deb | 19.03M | 2025-03-16 14:58:09 |
| libcoq-mathcomp-classical_1.9.0-1_amd64.deb | 3.68M | 2025-03-16 14:58:09 |
| libcoq-mathcomp-analysis_1.0.0-1build4_amd64.deb | 15.16M | 2024-04-08 16:11:06 |
| libcoq-mathcomp-classical_1.0.0-1build4_amd64.deb | 2.35M | 2024-04-08 16:11:06 |
| libcoq-mathcomp-analysis_0.3.13-1_amd64.deb | 6.18M | 2022-02-18 16:14:01 |