| name | size | date |
|---|---|---|
| libcoq-mathcomp-zify_1.5.0+2.0+8.16-3build7_amd64.deb | 275.1K | 2025-09-13 21:29:47 |
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build6_amd64.deb | 260.2K | 2024-11-26 17:47:56 |
| libcoq-mathcomp-zify_1.3.0+1.12+8.13-1build1_amd64.deb | 252.5K | 2024-11-15 06:17:44 |
| libcoq-mathcomp-zify_1.2.0+1.12+8.13-6build1_amd64.deb | 263.2K | 2023-08-11 10:33:11 |