| name | size | date |
|---|---|---|
| libcoq-coqeal_2.0.2-2build5_amd64.deb | 5.73M | 2025-09-13 01:49:14 |
| libcoq-coqeal_1.1.1-3build3_amd64.deb | 5.06M | 2024-11-26 13:22:07 |
| libcoq-coqeal_1.1.3-1build1_amd64.deb | 5.05M | 2024-11-15 03:05:24 |
| libcoq-coqeal_1.1.1-1build1_amd64.deb | 5.09M | 2023-08-11 04:19:28 |