| name | size | date |
|---|---|---|
| libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb | 280.9K | 2025-09-13 01:33:28 |
| coq-hierarchy-builder_1.4.0-2build3_amd64.deb | 0.74M | 2024-11-26 13:18:54 |
| libcoq-hierarchy-builder_1.4.0-2build3_amd64.deb | 257.6K | 2024-11-26 13:18:54 |
| coq-hierarchy-builder_1.4.0-6build5_amd64.deb | 0.74M | 2024-11-15 03:05:05 |
| libcoq-hierarchy-builder_1.4.0-6build5_amd64.deb | 260.2K | 2024-11-15 03:05:05 |
| coq-hierarchy-builder_1.3.0-1_amd64.deb | 0.74M | 2023-08-11 04:18:17 |
| libcoq-hierarchy-builder_1.3.0-1_amd64.deb | 242.9K | 2023-08-11 04:18:17 |