| name | size | date |
|---|---|---|
| libcoq-unicoq_1.6-8.19-2build3_amd64.deb | 91.2K | 2025-09-13 01:37:15 |
| libcoq-unicoq_1.6-8.16-2build2_amd64.deb | 83.6K | 2024-11-26 13:19:38 |
| libcoq-unicoq_1.6-8.17-1build1_amd64.deb | 84.7K | 2024-11-15 03:05:10 |
| libcoq-unicoq_1.6-8.15-2_amd64.deb | 82.2K | 2023-08-11 04:18:29 |