../ 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.2build1.debian.tar.xz 03-Jan-2026 19:11 3972 coq-elpi_2.5.0-1.2build1.dsc 03-Jan-2026 19:11 2074 coq-elpi_2.5.0-1.2build3.debian.tar.xz 01-Mar-2026 15:46 4044 coq-elpi_2.5.0-1.2build3.dsc 01-Mar-2026 15:46 2074 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.2build1_amd64.deb 04-Jan-2026 23:06 14001376 libcoq-elpi_2.5.0-1.2build1_amd64v3.deb 04-Jan-2026 23:06 14001616 libcoq-elpi_2.5.0-1.2build3_amd64.deb 01-Mar-2026 15:46 14001272 libcoq-elpi_2.5.0-1.2build3_amd64v3.deb 01-Mar-2026 19:51 14043110
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.