Index of /ubuntu-ports/pool/universe/c/coq-hammer/
../ coq-hammer_1.3.2+8.15-1.debian.tar.xz 19-Jul-2022 06:49 2232 coq-hammer_1.3.2+8.15-1.dsc 19-Jul-2022 06:49 2171 coq-hammer_1.3.2+8.15.orig.tar.gz 19-Jul-2022 06:49 145K coq-hammer_1.3.2+8.16-1build3.debian.tar.xz 03-Dec-2022 16:59 2372 coq-hammer_1.3.2+8.16-1build3.dsc 03-Dec-2022 16:59 2096 coq-hammer_1.3.2+8.16-2.debian.tar.xz 25-Jan-2023 18:49 2316 coq-hammer_1.3.2+8.16-2.dsc 25-Jan-2023 18:49 2102 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz 26-Jan-2023 20:54 2388 coq-hammer_1.3.2+8.16-2build1.dsc 26-Jan-2023 20:54 2101 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz 17-Feb-2023 01:50 2404 coq-hammer_1.3.2+8.16-2build2.dsc 17-Feb-2023 01:50 2101 coq-hammer_1.3.2+8.16.orig.tar.gz 06-Nov-2022 10:17 145K libcoq-hammer-tactics_1.3.2+8.15-1_arm64.deb 19-Jul-2022 08:08 381K libcoq-hammer-tactics_1.3.2+8.15-1_armhf.deb 19-Jul-2022 07:45 357K libcoq-hammer-tactics_1.3.2+8.15-1_ppc64el.deb 19-Jul-2022 08:09 365K libcoq-hammer-tactics_1.3.2+8.15-1_riscv64.deb 19-Jul-2022 08:49 360K libcoq-hammer-tactics_1.3.2+8.15-1_s390x.deb 19-Jul-2022 08:09 365K libcoq-hammer_1.3.2+8.15-1_arm64.deb 19-Jul-2022 08:08 252K libcoq-hammer_1.3.2+8.15-1_armhf.deb 19-Jul-2022 07:45 217K libcoq-hammer_1.3.2+8.15-1_ppc64el.deb 19-Jul-2022 08:09 240K libcoq-hammer_1.3.2+8.15-1_riscv64.deb 19-Jul-2022 08:49 223K libcoq-hammer_1.3.2+8.15-1_s390x.deb 19-Jul-2022 08:09 231K libcoq-hammer_1.3.2+8.16-1build3_arm64.deb 03-Dec-2022 16:59 614K libcoq-hammer_1.3.2+8.16-1build3_armhf.deb 03-Dec-2022 16:59 555K libcoq-hammer_1.3.2+8.16-1build3_ppc64el.deb 03-Dec-2022 16:59 585K libcoq-hammer_1.3.2+8.16-1build3_riscv64.deb 03-Dec-2022 17:18 561K libcoq-hammer_1.3.2+8.16-1build3_s390x.deb 03-Dec-2022 16:59 576K libcoq-hammer_1.3.2+8.16-2build1_arm64.deb 26-Jan-2023 20:54 614K libcoq-hammer_1.3.2+8.16-2build1_armhf.deb 26-Jan-2023 20:54 556K libcoq-hammer_1.3.2+8.16-2build1_ppc64el.deb 26-Jan-2023 20:54 586K libcoq-hammer_1.3.2+8.16-2build1_riscv64.deb 26-Jan-2023 23:39 561K libcoq-hammer_1.3.2+8.16-2build1_s390x.deb 26-Jan-2023 20:54 576K libcoq-hammer_1.3.2+8.16-2build2_arm64.deb 17-Feb-2023 01:50 614K libcoq-hammer_1.3.2+8.16-2build2_armhf.deb 17-Feb-2023 01:50 555K libcoq-hammer_1.3.2+8.16-2build2_ppc64el.deb 17-Feb-2023 01:50 585K libcoq-hammer_1.3.2+8.16-2build2_riscv64.deb 17-Feb-2023 02:44 561K libcoq-hammer_1.3.2+8.16-2build2_s390x.deb 17-Feb-2023 01:50 576K