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

NameLast ModifiedSize
UpParent Directory
Filecoq-elpi_1.13.0-1.debian.tar.xz2022-02-10 23:14 3k
Filecoq-elpi_1.13.0-1.dsc2022-02-10 23:14 3k
[CMP]coq-elpi_1.13.0.orig.tar.gz2022-02-10 23:14 352k
Filecoq-elpi_1.16.0-2build1.debian.tar.xz2023-02-16 23:24 4k
Filecoq-elpi_1.16.0-2build1.dsc2023-02-16 23:24 2k
[CMP]coq-elpi_1.16.0.orig.tar.gz2022-11-20 23:50 417k
Filecoq-elpi_1.17.1-1build8.debian.tar.xz2023-08-28 15:19 4k
Filecoq-elpi_1.17.1-1build8.dsc2023-08-28 15:19 2k
[CMP]coq-elpi_1.17.1.orig.tar.gz2023-06-13 05:30 421k
Filecoq-elpi_1.19.3-2build4.debian.tar.xz2024-04-08 07:57 4k
Filecoq-elpi_1.19.3-2build4.dsc2024-04-08 07:57 3k
[CMP]coq-elpi_1.19.3.orig.tar.gz2023-12-22 17:26 559k
Filecoq-elpi_2.1.0-1build9.debian.tar.xz2024-09-17 15:51 4k
Filecoq-elpi_2.1.0-1build9.dsc2024-09-17 15:51 2k
[CMP]coq-elpi_2.1.0.orig.tar.gz2024-05-02 11:53 700k
Filelibcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb2022-02-10 23:34 1672k
Filelibcoq-elpi-ocaml_1.13.0-1_amd64.deb2022-02-10 23:34 4870k
Filelibcoq-elpi_1.16.0-2build1_amd64.deb2023-02-17 01:14 2952k
Filelibcoq-elpi_1.17.1-1build8_amd64.deb2023-08-28 15:48 2971k
Filelibcoq-elpi_1.19.3-2build4_amd64.deb2024-04-08 07:57 3105k
Filelibcoq-elpi_2.1.0-1build9_amd64.deb2024-09-19 17:02 2976k
Pars.Host