Index of /ubuntuarchive/ubuntu/pool/universe/c/coq-elpi
Name
Last modified
Size
Description
Parent Directory
-
coq-elpi_1.13.0-1.debian.tar.xz
11-Feb-2022 03:14
2.5K
coq-elpi_1.13.0-1.dsc
11-Feb-2022 03:14
2.0K
coq-elpi_1.13.0.orig.tar.gz
11-Feb-2022 03:14
352K
coq-elpi_1.19.3-2build4.debian.tar.xz
08-Apr-2024 11:57
3.8K
coq-elpi_1.19.3-2build4.dsc
08-Apr-2024 11:57
2.1K
coq-elpi_1.19.3.orig.tar.gz
22-Dec-2023 21:26
558K
coq-elpi_2.4.0-1build1.debian.tar.xz
19-Feb-2025 01:25
3.8K
coq-elpi_2.4.0-1build1.dsc
19-Feb-2025 01:25
2.0K
coq-elpi_2.4.0.orig.tar.gz
18-Feb-2025 05:39
718K
coq-elpi_2.5.0-1.1build1.debian.tar.xz
31-Aug-2025 23:42
3.8K
coq-elpi_2.5.0-1.1build1.dsc
31-Aug-2025 23:42
2.0K
coq-elpi_2.5.0-1.1build2.debian.tar.xz
23-Oct-2025 04:05
3.9K
coq-elpi_2.5.0-1.1build2.dsc
23-Oct-2025 04:05
2.0K
coq-elpi_2.5.0.orig.tar.gz
01-May-2025 20:23
728K
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
11-Feb-2022 03:34
1.6M
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
11-Feb-2022 03:34
4.8M
libcoq-elpi_1.19.3-2build4_amd64.deb
08-Apr-2024 11:57
3.0M
libcoq-elpi_2.4.0-1build1_amd64.deb
19-Feb-2025 01:25
13M
libcoq-elpi_2.5.0-1.1build1_amd64.deb
01-Sep-2025 07:34
12M
Apache/2.2.15 (Red Hat) Server at mirror.squ.edu.om Port 80