| Parent directory/ | - | - |
| libcoq-hierarchy-builder_1.8.1-1build3_amd64.deb | 690154 | 2025-May-07 18:20 |
| libcoq-hierarchy-builder_1.8.1-1build2_amd64.deb | 690016 | 2025-Feb-19 07:53 |
| libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb | 287630 | 2024-Sep-19 19:15 |
| libcoq-hierarchy-builder_1.6.0-1build5_amd64.deb | 267808 | 2024-Apr-08 09:28 |
| libcoq-hierarchy-builder_1.2.1-2_amd64.deb | 246620 | 2022-Feb-14 08:54 |
| coq-hierarchy-builder_1.6.0-1build5_amd64.deb | 831476 | 2024-Apr-08 09:28 |
| coq-hierarchy-builder_1.2.1-2_amd64.deb | 778196 | 2022-Feb-14 08:54 |