| name | size | date |
|---|---|---|
| libcoq-mathcomp-real-closed_2.0.0-3build6_amd64.deb | 2.73M | 2025-09-13 21:29:43 |
| libcoq-mathcomp-real-closed_1.1.3-1build5_amd64.deb | 2.51M | 2024-11-26 17:47:56 |
| libcoq-mathcomp-real-closed_1.1.4-2_amd64.deb | 2.51M | 2024-11-15 06:17:44 |
| libcoq-mathcomp-real-closed_1.1.3-1_amd64.deb | 2.52M | 2023-08-11 10:33:10 |