| name | size | date |
|---|---|---|
| libcoq-hott_8.19-2build3_amd64.deb | 15.44M | 2025-09-13 01:35:46 |
| libcoq-hott_8.16-2build2_amd64.deb | 15.69M | 2024-11-26 13:19:06 |
| libcoq-hott_8.18-1_amd64.deb | 16.00M | 2024-11-15 03:05:06 |
| libcoq-hott_8.15-4_amd64.deb | 15.59M | 2023-08-11 04:18:20 |