../ coq-elpi_1.13.0-1.debian.tar.xz 10-Feb-2022 23:14 2584 coq-elpi_1.13.0-1.dsc 10-Feb-2022 23:14 2088 coq-elpi_1.13.0.orig.tar.gz 10-Feb-2022 23:14 360052 coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 07:57 3852 coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 07:57 2108 coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 17:26 571678 coq-elpi_2.4.0-1build1.debian.tar.xz 18-Feb-2025 21:25 3848 coq-elpi_2.4.0-1build1.dsc 18-Feb-2025 21:25 2066 coq-elpi_2.4.0.orig.tar.gz 18-Feb-2025 01:39 734755 coq-elpi_2.5.0-1.1build1.debian.tar.xz 31-Aug-2025 19:42 3936 coq-elpi_2.5.0-1.1build1.dsc 31-Aug-2025 19:42 2074 coq-elpi_2.5.0-1.2.debian.tar.xz 05-Nov-2025 08:46 3920 coq-elpi_2.5.0-1.2.dsc 05-Nov-2025 08:46 2050 coq-elpi_2.5.0.orig.tar.gz 01-May-2025 16:23 745968 libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb 10-Feb-2022 23:34 1711524 libcoq-elpi-ocaml_1.13.0-1_amd64.deb 10-Feb-2022 23:34 4985994 libcoq-elpi_1.19.3-2build4_amd64.deb 08-Apr-2024 07:57 3178910 libcoq-elpi_2.4.0-1build1_amd64.deb 18-Feb-2025 21:25 13536766 libcoq-elpi_2.5.0-1.1build1_amd64.deb 01-Sep-2025 03:34 13054558 libcoq-elpi_2.5.0-1.2_amd64.deb 05-Nov-2025 11:50 13061744 libcoq-elpi_2.5.0-1.2_amd64v3.deb 05-Nov-2025 11:51 13061852
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.