| name | size | date |
|---|---|---|
| libcoq-coquelicot_3.4.1-3build6_amd64.deb | 3.68M | 2025-09-13 01:49:33 |
| libcoq-coquelicot_3.2.0-8build2_amd64.deb | 3.57M | 2024-11-26 13:22:08 |
| libcoq-coquelicot_3.3.1-1build1_amd64.deb | 3.60M | 2024-11-15 03:05:25 |
| libcoq-coquelicot_3.2.0-7build1_amd64.deb | 3.59M | 2023-08-11 04:19:28 |