Index of /ubuntu/pool/universe/c/coq-elpi/ Index of /ubuntu/pool/universe/c/coq-elpi/
../ coq-elpi_1.13.0-1.debian.tar.xz 11-Feb-2022 02:44 2584 coq-elpi_1.13.0-1.dsc 11-Feb-2022 02:44 2088 coq-elpi_1.13.0.orig.tar.gz 11-Feb-2022 02:44 352K coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 11:27 3852 coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 11:27 2108 coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 20:56 558K coq-elpi_2.4.0-1build1.debian.tar.xz 19-Feb-2025 00:55 3848 coq-elpi_2.4.0-1build1.dsc 19-Feb-2025 00:55 2066 coq-elpi_2.4.0.orig.tar.gz 18-Feb-2025 05:09 718K coq-elpi_2.5.0-1.1build1.debian.tar.xz 31-Aug-2025 23:12 3936 coq-elpi_2.5.0-1.1build1.dsc 31-Aug-2025 23:12 2074 coq-elpi_2.5.0-1.2build1.debian.tar.xz 03-Jan-2026 22:41 3972 coq-elpi_2.5.0-1.2build1.dsc 03-Jan-2026 22:41 2074 coq-elpi_2.5.0-1.2build2.debian.tar.xz 28-Jan-2026 04:29 3980 coq-elpi_2.5.0-1.2build2.dsc 28-Jan-2026 04:29 2074 coq-elpi_2.5.0.orig.tar.gz 01-May-2025 19:53 728K libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 11-Feb-2022 03:04 2M libcoq-elpi-ocaml_1.13.0-1_amd64.deb 11-Feb-2022 03:04 5M libcoq-elpi_1.19.3-2build4_amd64.deb 08-Apr-2024 11:27 3M libcoq-elpi_2.4.0-1build1_amd64.deb 19-Feb-2025 00:55 13M libcoq-elpi_2.5.0-1.1build1_amd64.deb 01-Sep-2025 07:04 12M libcoq-elpi_2.5.0-1.2build1_amd64.deb 05-Jan-2026 02:36 13M libcoq-elpi_2.5.0-1.2build1_amd64v3.deb 05-Jan-2026 02:36 13M libcoq-elpi_2.5.0-1.2build2_amd64.deb 29-Jan-2026 12:45 13M libcoq-elpi_2.5.0-1.2build2_amd64v3.deb 29-Jan-2026 12:46 13M
Mirrors service provided by ParsVDS. Contact:
parsvds.s@gmail.com