| Parent directory/ | - | - |
| coq-hierarchy-builder_1.4.0-2+b3_ppc64el.deb | 619644 | 2022-Nov-30 00:29 |
| coq-hierarchy-builder_1.4.0-2+b5_arm64.deb | 619584 | 2023-Jan-25 14:57 |
| coq-hierarchy-builder_1.4.0-2+b3_amd64.deb | 619580 | 2022-Nov-29 23:43 |
| coq-hierarchy-builder_1.4.0-2+b5_amd64.deb | 619544 | 2023-Jan-25 14:57 |
| coq-hierarchy-builder_1.4.0-2+b3_i386.deb | 619540 | 2022-Nov-29 23:28 |
| coq-hierarchy-builder_1.4.0-2+b5_ppc64el.deb | 619536 | 2023-Jan-27 23:43 |
| coq-hierarchy-builder_1.4.0-2+b5_i386.deb | 619520 | 2023-Jan-25 14:57 |
| coq-hierarchy-builder_1.4.0-2+b3_arm64.deb | 619432 | 2022-Nov-29 23:43 |
| libcoq-hierarchy-builder_1.4.0-2+b3_amd64.deb | 240312 | 2022-Nov-29 23:43 |
| libcoq-hierarchy-builder_1.4.0-2+b3_ppc64el.deb | 240144 | 2022-Nov-30 00:29 |
| libcoq-hierarchy-builder_1.4.0-2+b3_i386.deb | 240124 | 2022-Nov-29 23:28 |
| libcoq-hierarchy-builder_1.4.0-2+b3_arm64.deb | 240100 | 2022-Nov-29 23:43 |
| libcoq-hierarchy-builder_1.4.0-2+b5_ppc64el.deb | 240092 | 2023-Jan-27 23:43 |
| libcoq-hierarchy-builder_1.4.0-2+b5_i386.deb | 240088 | 2023-Jan-25 14:57 |
| libcoq-hierarchy-builder_1.4.0-2+b5_amd64.deb | 240084 | 2023-Jan-25 14:57 |
| libcoq-hierarchy-builder_1.4.0-2+b5_arm64.deb | 240072 | 2023-Jan-25 14:57 |
| coq-hierarchy-builder_1.4.0.orig.tar.gz | 201673 | 2022-Oct-02 19:51 |
| coq-hierarchy-builder_1.4.0-2.debian.tar.xz | 3132 | 2022-Oct-26 07:06 |
| coq-hierarchy-builder_1.4.0-2.dsc | 2225 | 2022-Oct-26 07:06 |