| name | size | date |
|---|---|---|
| libcoq-mathcomp-algebra-tactics_1.2.3-4build6_amd64.deb | 0.59M | 2025-09-13 21:29:08 |
| libcoq-mathcomp-algebra-tactics_1.0.0-8build3_amd64.deb | 254.5K | 2024-11-26 17:47:50 |
| libcoq-mathcomp-algebra-tactics_1.1.1-2build9_amd64.deb | 424.6K | 2024-11-15 06:17:42 |
| libcoq-mathcomp-algebra-tactics_1.0.0-6build2_amd64.deb | 249.5K | 2023-08-11 10:33:01 |