| name | size | date |
|---|---|---|
| libcoq-corn_8.19.0+ds1-1build5_amd64.deb | 14.54M | 2025-09-13 01:33:22 |
| libcoq-corn_8.16.0-2build2_amd64.deb | 12.37M | 2024-11-26 13:18:47 |
| libcoq-corn_8.16.0-3build1_amd64.deb | 12.35M | 2024-11-15 03:05:03 |
| libcoq-corn_8.13.0-1_amd64.deb | 12.32M | 2023-08-11 04:18:06 |