| name | size | date |
|---|---|---|
| libcoq-mathcomp-multinomials_2.2.0-3build6_amd64.deb | 1.90M | 2025-09-13 21:29:32 |
| libcoq-mathcomp-multinomials_1.5.5-8build7_amd64.deb | 1.46M | 2024-11-26 17:47:55 |
| libcoq-mathcomp-multinomials_1.6.0-3build1_amd64.deb | 1.44M | 2024-11-15 06:17:44 |
| libcoq-mathcomp-multinomials_1.5.5-8build2_amd64.deb | 1.47M | 2023-08-11 10:33:08 |