| / | | |
| coq-hierarchy-builder_1.4.0-2+b6_amd64.deb | 619,596 | Tue, 14 Feb 2023 10:29:48 +0000 |
| coq-hierarchy-builder_1.4.0-2+b6_arm64.deb | 619,448 | Tue, 14 Feb 2023 10:29:50 +0000 |
| coq-hierarchy-builder_1.4.0-2+b6_i386.deb | 619,660 | Tue, 14 Feb 2023 10:24:35 +0000 |
| coq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb | 619,604 | Tue, 14 Feb 2023 12:43:10 +0000 |
| coq-hierarchy-builder_1.4.0-2.debian.tar.xz | 3,132 | Wed, 26 Oct 2022 07:06:37 +0000 |
| coq-hierarchy-builder_1.4.0-2.dsc | 2,225 | Wed, 26 Oct 2022 07:06:37 +0000 |
| coq-hierarchy-builder_1.4.0.orig.tar.gz | 201,673 | Sun, 02 Oct 2022 19:51:11 +0000 |
| coq-hierarchy-builder_1.8.1-1.debian.tar.xz | 2,872 | Mon, 17 Feb 2025 16:37:01 +0000 |
| coq-hierarchy-builder_1.8.1-1.dsc | 2,163 | Mon, 17 Feb 2025 16:37:01 +0000 |
| coq-hierarchy-builder_1.8.1.orig.tar.gz | 215,161 | Mon, 17 Feb 2025 16:37:01 +0000 |
| libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb | 240,132 | Tue, 14 Feb 2023 10:29:48 +0000 |
| libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb | 240,136 | Tue, 14 Feb 2023 10:29:50 +0000 |
| libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb | 240,100 | Tue, 14 Feb 2023 10:24:35 +0000 |
| libcoq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb | 240,072 | Tue, 14 Feb 2023 12:43:10 +0000 |
| libcoq-hierarchy-builder_1.8.1-1+b2_riscv64.deb | 551,188 | Tue, 17 Jun 2025 08:11:35 +0000 |
| libcoq-hierarchy-builder_1.8.1-1+b3_amd64.deb | 548,656 | Tue, 17 Jun 2025 11:02:54 +0000 |
| libcoq-hierarchy-builder_1.8.1-1+b3_arm64.deb | 551,048 | Tue, 17 Jun 2025 11:08:21 +0000 |
| libcoq-hierarchy-builder_1.8.1-1+b3_ppc64el.deb | 551,056 | Tue, 17 Jun 2025 11:02:55 +0000 |
| libcoq-hierarchy-builder_1.8.1-1+b3_s390x.deb | 550,968 | Tue, 17 Jun 2025 20:14:42 +0000 |