Index of /pool/universe/c/coq-elpi

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[ ]coq-elpi_1.13.0-1.dsc11-Feb-2022 00:14 2.0K
[ ]coq-elpi_1.13.0.orig.tar.gz11-Feb-2022 00:14 352K
[ ]coq-elpi_1.13.0-1.debian.tar.xz11-Feb-2022 00:14 2.5K
[ ]libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb11-Feb-2022 00:34 1.6M
[ ]libcoq-elpi-ocaml_1.13.0-1_amd64.deb11-Feb-2022 00:34 4.8M
[ ]coq-elpi_1.19.3.orig.tar.gz22-Dec-2023 18:26 558K
[ ]coq-elpi_1.19.3-2build4.debian.tar.xz08-Apr-2024 09:57 3.8K
[ ]coq-elpi_1.19.3-2build4.dsc08-Apr-2024 09:57 2.1K
[ ]libcoq-elpi_1.19.3-2build4_amd64.deb08-Apr-2024 09:57 3.0M
[ ]coq-elpi_2.1.0.orig.tar.gz02-May-2024 13:53 699K
[ ]coq-elpi_2.1.0-1build9.debian.tar.xz17-Sep-2024 17:51 3.8K
[ ]coq-elpi_2.1.0-1build9.dsc17-Sep-2024 17:51 2.0K
[ ]libcoq-elpi_2.1.0-1build9_amd64.deb19-Sep-2024 19:02 2.9M
[ ]coq-elpi_2.4.0.orig.tar.gz18-Feb-2025 02:39 718K
[ ]coq-elpi_2.4.0-1build1.debian.tar.xz18-Feb-2025 22:25 3.8K
[ ]coq-elpi_2.4.0-1build1.dsc18-Feb-2025 22:25 2.0K
[ ]libcoq-elpi_2.4.0-1build1_amd64.deb18-Feb-2025 22:25 13M
[ ]coq-elpi_2.5.0-1.debian.tar.xz01-May-2025 18:23 3.2K
[ ]coq-elpi_2.5.0-1.dsc01-May-2025 18:23 2.0K
[ ]coq-elpi_2.5.0.orig.tar.gz01-May-2025 18:23 728K
[ ]libcoq-elpi_2.5.0-1_amd64.deb01-May-2025 21:15 13M