| Parent directory/ | - | - |
| coq-hierarchy-builder_1.7.0-2.dsc | 1932 | 03-Aug-2024 12:03 |
| coq-hierarchy-builder_1.4.0-2.dsc | 2225 | 26-Oct-2022 11:06 |
| coq-hierarchy-builder_1.7.0-2.debian.tar.xz | 2836 | 03-Aug-2024 12:03 |
| coq-hierarchy-builder_1.4.0-2.debian.tar.xz | 3132 | 26-Oct-2022 11:06 |
| coq-hierarchy-builder_1.4.0.orig.tar.gz | 197K | 02-Oct-2022 23:51 |
| coq-hierarchy-builder_1.7.0.orig.tar.gz | 202K | 26-Apr-2024 18:01 |
| libcoq-hierarchy-builder_1.7.0-2+b9_riscv64.deb | 234K | 20-Nov-2024 20:52 |
| libcoq-hierarchy-builder_1.7.0-2+b10_s390x.deb | 234K | 21-Nov-2024 19:46 |
| libcoq-hierarchy-builder_1.7.0-2+b9_arm64.deb | 234K | 20-Nov-2024 21:12 |
| libcoq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb | 234K | 14-Feb-2023 16:43 |
| libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb | 234K | 14-Feb-2023 14:24 |
| libcoq-hierarchy-builder_1.7.0-2+b9_ppc64el.deb | 235K | 20-Nov-2024 21:12 |
| libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb | 235K | 14-Feb-2023 14:29 |
| libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb | 235K | 14-Feb-2023 14:29 |
| libcoq-hierarchy-builder_1.7.0-2+b11_amd64.deb | 235K | 21-Nov-2024 03:43 |
| libcoq-hierarchy-builder_1.7.0-2+b8_amd64.deb | 258K | 13-Oct-2024 14:38 |
| libcoq-hierarchy-builder_1.7.0-2+b8_s390x.deb | 258K | 13-Oct-2024 14:33 |
| libcoq-hierarchy-builder_1.7.0-2+b8_ppc64el.deb | 258K | 13-Oct-2024 14:33 |
| libcoq-hierarchy-builder_1.7.0-2+b8_arm64.deb | 258K | 13-Oct-2024 14:38 |
| libcoq-hierarchy-builder_1.7.0-2+b8_riscv64.deb | 258K | 13-Oct-2024 15:59 |
| coq-hierarchy-builder_1.4.0-2+b6_arm64.deb | 605K | 14-Feb-2023 14:29 |
| coq-hierarchy-builder_1.4.0-2+b6_amd64.deb | 605K | 14-Feb-2023 14:29 |
| coq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb | 605K | 14-Feb-2023 16:43 |
| coq-hierarchy-builder_1.4.0-2+b6_i386.deb | 605K | 14-Feb-2023 14:24 |
