Index of /ubuntu-ports/pool/universe/c/coq-elpi/
../ coq-elpi_1.13.0-1.debian.tar.xz 11-Feb-2022 06:14 2584 coq-elpi_1.13.0-1.dsc 11-Feb-2022 06:14 2088 coq-elpi_1.13.0.orig.tar.gz 11-Feb-2022 06:14 352K coq-elpi_1.14.0-5build1.debian.tar.xz 21-Jul-2022 23:13 3284 coq-elpi_1.14.0-5build1.dsc 21-Jul-2022 23:13 2164 coq-elpi_1.14.0.orig.tar.gz 15-May-2022 06:29 352K coq-elpi_1.16.0-1build2.debian.tar.xz 04-Dec-2022 03:33 3448 coq-elpi_1.16.0-1build2.dsc 04-Dec-2022 03:33 2024 coq-elpi_1.16.0-2.debian.tar.xz 25-Jan-2023 18:49 3412 coq-elpi_1.16.0-2.dsc 25-Jan-2023 18:49 2030 coq-elpi_1.16.0-2build1.debian.tar.xz 17-Feb-2023 06:24 3472 coq-elpi_1.16.0-2build1.dsc 17-Feb-2023 06:24 2029 coq-elpi_1.16.0.orig.tar.gz 21-Nov-2022 06:50 416K libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb 11-Feb-2022 06:53 2M libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 11-Feb-2022 06:53 2M libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb 11-Feb-2022 06:34 2M libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb 11-Feb-2022 08:39 2M libcoq-elpi-ocaml-dev_1.14.0-5build1_arm64.deb 21-Jul-2022 23:34 2M libcoq-elpi-ocaml-dev_1.14.0-5build1_armhf.deb 21-Jul-2022 23:34 2M libcoq-elpi-ocaml-dev_1.14.0-5build1_ppc64el.deb 21-Jul-2022 23:13 2M libcoq-elpi-ocaml-dev_1.14.0-5build1_riscv64.deb 22-Jul-2022 00:24 2M libcoq-elpi-ocaml_1.13.0-1_arm64.deb 11-Feb-2022 06:53 5M libcoq-elpi-ocaml_1.13.0-1_armhf.deb 11-Feb-2022 06:53 5M libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb 11-Feb-2022 06:34 5M libcoq-elpi-ocaml_1.13.0-1_riscv64.deb 11-Feb-2022 08:39 5M libcoq-elpi-ocaml_1.14.0-5build1_arm64.deb 21-Jul-2022 23:34 8M libcoq-elpi-ocaml_1.14.0-5build1_armhf.deb 21-Jul-2022 23:34 8M libcoq-elpi-ocaml_1.14.0-5build1_ppc64el.deb 21-Jul-2022 23:13 8M libcoq-elpi-ocaml_1.14.0-5build1_riscv64.deb 22-Jul-2022 00:24 8M libcoq-elpi_1.14.0-5build1_arm64.deb 21-Jul-2022 23:34 495K libcoq-elpi_1.14.0-5build1_armhf.deb 21-Jul-2022 23:34 494K libcoq-elpi_1.14.0-5build1_ppc64el.deb 21-Jul-2022 23:13 496K libcoq-elpi_1.14.0-5build1_riscv64.deb 22-Jul-2022 00:24 495K libcoq-elpi_1.16.0-1build2_arm64.deb 04-Dec-2022 03:54 3M libcoq-elpi_1.16.0-1build2_ppc64el.deb 04-Dec-2022 03:54 3M libcoq-elpi_1.16.0-1build2_riscv64.deb 07-Dec-2022 21:14 3M libcoq-elpi_1.16.0-2_arm64.deb 27-Jan-2023 22:44 3M libcoq-elpi_1.16.0-2_ppc64el.deb 27-Jan-2023 22:44 3M libcoq-elpi_1.16.0-2_riscv64.deb 27-Jan-2023 23:34 3M libcoq-elpi_1.16.0-2build1_arm64.deb 17-Feb-2023 08:14 3M libcoq-elpi_1.16.0-2build1_ppc64el.deb 17-Feb-2023 08:15 3M libcoq-elpi_1.16.0-2build1_riscv64.deb 17-Feb-2023 09:34 3M