| name | size | date |
|---|---|---|
| libcoq-equations_1.3-8.19-2build3_amd64.deb | 1.30M | 2025-09-13 01:33:23 |
| libcoq-equations_1.3-8.16-2build2_amd64.deb | 1.55M | 2024-11-26 13:18:52 |
| libcoq-equations_1.3-8.17-2build2_amd64.deb | 1.53M | 2024-11-15 03:05:04 |
| libcoq-equations_1.3-8.15-2build1_amd64.deb | 1.56M | 2023-08-11 04:18:13 |