Index of /ubuntu/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 06:14
2.5K
coq-elpi_1.13.0-1.dsc
11-Feb-2022 06:14
2.0K
coq-elpi_1.13.0.orig.tar.gz
11-Feb-2022 06:14
352K
coq-elpi_1.16.0-2build1.debian.tar.xz
17-Feb-2023 06:24
3.4K
coq-elpi_1.16.0-2build1.dsc
17-Feb-2023 06:24
2.0K
coq-elpi_1.16.0.orig.tar.gz
21-Nov-2022 06:50
416K
coq-elpi_1.17.1-1build8.debian.tar.xz
28-Aug-2023 22:19
3.6K
coq-elpi_1.17.1-1build8.dsc
28-Aug-2023 22:19
2.0K
coq-elpi_1.17.1.orig.tar.gz
13-Jun-2023 12:30
420K
coq-elpi_1.19.3-2build1.debian.tar.xz
17-Feb-2024 07:37
3.6K
coq-elpi_1.19.3-2build1.dsc
17-Feb-2024 07:37
2.0K
coq-elpi_1.19.3-2build2.debian.tar.xz
24-Mar-2024 07:53
3.7K
coq-elpi_1.19.3-2build2.dsc
24-Mar-2024 07:53
2.1K
coq-elpi_1.19.3-2build3.debian.tar.xz
01-Apr-2024 01:36
3.8K
coq-elpi_1.19.3-2build3.dsc
01-Apr-2024 01:36
2.1K
coq-elpi_1.19.3.orig.tar.gz
23-Dec-2023 00:26
558K
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
11-Feb-2022 06:34
1.6M
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
11-Feb-2022 06:34
4.8M
libcoq-elpi_1.16.0-2build1_amd64.deb
17-Feb-2023 08:14
2.9M
libcoq-elpi_1.17.1-1build8_amd64.deb
28-Aug-2023 22:48
2.9M
libcoq-elpi_1.19.3-2build1_amd64.deb
17-Feb-2024 15:53
3.0M
libcoq-elpi_1.19.3-2build3_amd64.deb
01-Apr-2024 02:32
3.0M
Apache/2.2.15 (CentOS) Server at mirrors.vhost.vn Port 80