Index of /ubuntu-ports/pool/universe/c/coq-elpi/
../ coq-elpi_1.13.0-1.debian.tar.xz 11-Feb-2022 08:14 2584 coq-elpi_1.13.0-1.dsc 11-Feb-2022 08:14 2088 coq-elpi_1.13.0.orig.tar.gz 11-Feb-2022 08:14 352K coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 16:57 3852 coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 16:57 2108 coq-elpi_1.19.3.orig.tar.gz 23-Dec-2023 02:26 558K coq-elpi_2.4.0-1build1.debian.tar.xz 19-Feb-2025 06:25 3848 coq-elpi_2.4.0-1build1.dsc 19-Feb-2025 06:25 2066 coq-elpi_2.4.0.orig.tar.gz 18-Feb-2025 10:39 718K coq-elpi_2.5.0-1.1build1.debian.tar.xz 01-Sep-2025 04:42 3936 coq-elpi_2.5.0-1.1build1.dsc 01-Sep-2025 04:42 2074 coq-elpi_2.5.0-1.2.debian.tar.xz 05-Nov-2025 17:46 3920 coq-elpi_2.5.0-1.2.dsc 05-Nov-2025 17:46 2050 coq-elpi_2.5.0.orig.tar.gz 02-May-2025 01:23 728K libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb 11-Feb-2022 08:53 2M libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 11-Feb-2022 08:53 2M libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb 11-Feb-2022 08:34 2M libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb 11-Feb-2022 10:39 2M libcoq-elpi-ocaml_1.13.0-1_arm64.deb 11-Feb-2022 08:53 5M libcoq-elpi-ocaml_1.13.0-1_armhf.deb 11-Feb-2022 08:53 5M libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb 11-Feb-2022 08:34 5M libcoq-elpi-ocaml_1.13.0-1_riscv64.deb 11-Feb-2022 10:39 5M libcoq-elpi_1.19.3-2build4_arm64.deb 08-Apr-2024 16:57 3M libcoq-elpi_1.19.3-2build4_armhf.deb 08-Apr-2024 16:57 3M libcoq-elpi_1.19.3-2build4_ppc64el.deb 08-Apr-2024 16:57 3M libcoq-elpi_1.19.3-2build4_riscv64.deb 08-Apr-2024 16:57 3M libcoq-elpi_1.19.3-2build4_s390x.deb 08-Apr-2024 16:57 3M libcoq-elpi_2.4.0-1build1_arm64.deb 19-Feb-2025 06:25 13M libcoq-elpi_2.4.0-1build1_ppc64el.deb 19-Feb-2025 06:26 13M libcoq-elpi_2.4.0-1build1_riscv64.deb 19-Feb-2025 09:23 14M libcoq-elpi_2.4.0-1build1_s390x.deb 19-Feb-2025 09:24 13M libcoq-elpi_2.5.0-1.1build1_arm64.deb 01-Sep-2025 12:34 13M libcoq-elpi_2.5.0-1.1build1_ppc64el.deb 01-Sep-2025 12:34 13M libcoq-elpi_2.5.0-1.1build1_riscv64.deb 01-Sep-2025 16:27 13M libcoq-elpi_2.5.0-1.1build1_s390x.deb 01-Sep-2025 12:35 13M libcoq-elpi_2.5.0-1.2_arm64.deb 05-Nov-2025 20:51 13M libcoq-elpi_2.5.0-1.2_ppc64el.deb 05-Nov-2025 20:51 13M libcoq-elpi_2.5.0-1.2_riscv64.deb 05-Nov-2025 20:51 14M libcoq-elpi_2.5.0-1.2_s390x.deb 05-Nov-2025 20:52 13M