Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-hierarchy-builder/

../
coq-hierarchy-builder_1.3.0-1.debian.tar.xz        30-Jul-2022 23:33                3348
coq-hierarchy-builder_1.3.0-1.dsc                  30-Jul-2022 23:33                2229
coq-hierarchy-builder_1.3.0-1_amd64.deb            30-Jul-2022 23:34              776934
coq-hierarchy-builder_1.3.0-1_arm64.deb            30-Jul-2022 23:54              776934
coq-hierarchy-builder_1.3.0-1_armhf.deb            30-Jul-2022 23:54              776934
coq-hierarchy-builder_1.3.0-1_ppc64el.deb          30-Jul-2022 23:54              776936
coq-hierarchy-builder_1.3.0-1_riscv64.deb          31-Jul-2022 00:14              776936
coq-hierarchy-builder_1.3.0.orig.tar.gz            30-Jul-2022 23:33              200135
coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz  16-Feb-2023 23:24                3228
coq-hierarchy-builder_1.4.0-2build3.dsc            16-Feb-2023 23:24                2224
coq-hierarchy-builder_1.4.0-2build3_amd64.deb      17-Feb-2023 02:34              776366
coq-hierarchy-builder_1.4.0-2build3_arm64.deb      17-Feb-2023 02:34              776366
coq-hierarchy-builder_1.4.0-2build3_ppc64el.deb    17-Feb-2023 02:34              776366
coq-hierarchy-builder_1.4.0-2build3_riscv64.deb    17-Feb-2023 05:09              776366
coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz  28-Aug-2023 15:48                5732
coq-hierarchy-builder_1.4.0-6build5.dsc            28-Aug-2023 15:48                2224
coq-hierarchy-builder_1.4.0-6build5_amd64.deb      28-Aug-2023 16:39              776482
coq-hierarchy-builder_1.4.0-6build5_arm64.deb      28-Aug-2023 16:39              776482
coq-hierarchy-builder_1.4.0-6build5_ppc64el.deb    28-Aug-2023 16:39              776484
coq-hierarchy-builder_1.4.0-6build5_riscv64.deb    28-Aug-2023 18:34              776484
coq-hierarchy-builder_1.4.0.orig.tar.gz            06-Nov-2022 03:17              201673
libcoq-hierarchy-builder_1.3.0-1_amd64.deb         30-Jul-2022 23:34              248724
libcoq-hierarchy-builder_1.3.0-1_arm64.deb         30-Jul-2022 23:54              248710
libcoq-hierarchy-builder_1.3.0-1_armhf.deb         30-Jul-2022 23:54              248700
libcoq-hierarchy-builder_1.3.0-1_ppc64el.deb       30-Jul-2022 23:54              248702
libcoq-hierarchy-builder_1.3.0-1_riscv64.deb       31-Jul-2022 00:14              248704
libcoq-hierarchy-builder_1.4.0-2build3_amd64.deb   17-Feb-2023 02:34              263740
libcoq-hierarchy-builder_1.4.0-2build3_arm64.deb   17-Feb-2023 02:34              263740
libcoq-hierarchy-builder_1.4.0-2build3_ppc64el.deb 17-Feb-2023 02:34              263682
libcoq-hierarchy-builder_1.4.0-2build3_riscv64.deb 17-Feb-2023 05:09              263736
libcoq-hierarchy-builder_1.4.0-6build5_amd64.deb   28-Aug-2023 16:39              266450
libcoq-hierarchy-builder_1.4.0-6build5_arm64.deb   28-Aug-2023 16:39              266434
libcoq-hierarchy-builder_1.4.0-6build5_ppc64el.deb 28-Aug-2023 16:39              266432
libcoq-hierarchy-builder_1.4.0-6build5_riscv64.deb 28-Aug-2023 18:34              266446