Index of ftp://ftp.ubuntu.com/ubuntu-ports/pool/universe/c/coq-hammer

[DIR] Parent Directory

[ ] coq-hammer_1.3.2+8.15-1.debian.tar.xz  2.18Kb  July 18 2022  [find mirrors]
[ ] coq-hammer_1.3.2+8.15-1.dsc  2.12Kb  July 18 2022  [find mirrors]
[ GZ] coq-hammer_1.3.2+8.15.orig.tar.gz  145.14Kb  July 18 2022  [find mirrors]
[ ] coq-hammer_1.3.2+8.16-2build2.debian.tar.xz  2.35Kb  February 16 2023 at 18:50  [find mirrors]
[ ] coq-hammer_1.3.2+8.16-2build2.dsc  2.05Kb  February 16 2023 at 18:50  [find mirrors]
[ GZ] coq-hammer_1.3.2+8.16.orig.tar.gz  145.21Kb  November 6 2022  [find mirrors]
[ ] libcoq-hammer-tactics_1.3.2+8.15-1_arm64.deb  381.26Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer-tactics_1.3.2+8.15-1_armhf.deb  356.68Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer-tactics_1.3.2+8.15-1_ppc64el.deb  365.18Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer-tactics_1.3.2+8.15-1_riscv64.deb  359.70Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer-tactics_1.3.2+8.15-1_s390x.deb  365.01Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.15-1_arm64.deb  251.85Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.15-1_armhf.deb  216.94Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.15-1_ppc64el.deb  240.12Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.15-1_riscv64.deb  222.58Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.15-1_s390x.deb  231.00Kb  July 19 2022  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.16-2build2_arm64.deb  613.91Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.16-2build2_armhf.deb  555.14Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.16-2build2_ppc64el.deb  585.26Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.16-2build2_riscv64.deb  560.82Kb  February 16 2023 at 19:44  [find mirrors]
[ ] libcoq-hammer_1.3.2+8.16-2build2_s390x.deb  575.62Kb  February 16 2023 at 18:50  [find mirrors]