| name | size | date |
|---|---|---|
| libcoq-mathcomp-multinomials_2.3.0-1build15_amd64.deb | 1.99M | 2026-03-08 17:19:12 |
| libcoq-mathcomp-multinomials_2.3.0-1build10_amd64.deb | 1.99M | 2025-09-02 08:35:59 |
| libcoq-mathcomp-multinomials_2.3.0-1build6_amd64.deb | 1.99M | 2025-02-20 09:56:59 |
| libcoq-mathcomp-multinomials_2.2.0-1build5_amd64.deb | 1.55M | 2024-04-09 06:03:24 |