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

[DIR] Parent Directory

[ ] coq-reglang_1.1.3-1.debian.tar.xz  8.13Kb  July 18 2022  [find mirrors]
[ ] coq-reglang_1.1.3-1.dsc  2.06Kb  July 18 2022  [find mirrors]
[ ] coq-reglang_1.1.3-2build2.debian.tar.xz  8.27Kb  February 16 2023 at 18:50  [find mirrors]
[ ] coq-reglang_1.1.3-2build2.dsc  2.06Kb  February 16 2023 at 18:50  [find mirrors]
[ GZ] coq-reglang_1.1.3.orig.tar.gz  65.45Kb  July 18 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-1_arm64.deb  804.33Kb  July 19 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-1_armhf.deb  804.18Kb  July 19 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-1_ppc64el.deb  804.28Kb  July 19 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-1_riscv64.deb  804.33Kb  July 19 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-1_s390x.deb  804.27Kb  July 19 2022  [find mirrors]
[ ] libcoq-reglang_1.1.3-2build2_arm64.deb  805.13Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-reglang_1.1.3-2build2_armhf.deb  804.84Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-reglang_1.1.3-2build2_ppc64el.deb  805.14Kb  February 16 2023 at 18:50  [find mirrors]
[ ] libcoq-reglang_1.1.3-2build2_riscv64.deb  805.10Kb  February 17 2023 at 02:34  [find mirrors]
[ ] libcoq-reglang_1.1.3-2build2_s390x.deb  805.11Kb  February 16 2023 at 19:44  [find mirrors]