| name | size | date |
|---|---|---|
| libcoq-mathcomp-real-closed_2.0.2-1build16_amd64.deb | 2.82M | 2026-03-08 17:19:12 |
| libcoq-mathcomp-real-closed_2.0.2-1build10_amd64.deb | 2.82M | 2025-09-02 08:35:58 |
| libcoq-mathcomp-real-closed_2.0.2-1build6_amd64.deb | 2.82M | 2025-02-20 09:56:58 |
| libcoq-mathcomp-real-closed_2.0.0-1build5_amd64.deb | 2.64M | 2024-04-08 16:11:08 |