| name | size | date |
|---|---|---|
| libcoq-flocq_4.1.4-2build3_amd64.deb | 3.72M | 2025-09-13 03:48:35 |
| libcoq-flocq_4.1.0-3build2_amd64.deb | 3.61M | 2024-11-26 14:11:31 |
| libcoq-flocq_4.1.1-1build1_amd64.deb | 3.61M | 2024-11-15 03:39:08 |
| libcoq-flocq_4.1.0-2_amd64.deb | 3.58M | 2023-08-11 05:27:28 |