Index of /ubuntu/pool/universe/c/coq-elpi/
Name
Last Modified
Size
Parent Directory
coq-elpi_1.13.0-1.debian.tar.xz
10-02-2022 23:14
4k
coq-elpi_1.13.0-1.dsc
10-02-2022 23:14
4k
coq-elpi_1.13.0.orig.tar.gz
10-02-2022 23:14
352k
coq-elpi_1.16.0-2build1.debian.tar.xz
16-02-2023 23:24
4k
coq-elpi_1.16.0-2build1.dsc
16-02-2023 23:24
4k
coq-elpi_1.16.0.orig.tar.gz
20-11-2022 23:50
420k
coq-elpi_1.17.1-1build8.debian.tar.xz
28-08-2023 15:19
4k
coq-elpi_1.17.1-1build8.dsc
28-08-2023 15:19
4k
coq-elpi_1.17.1.orig.tar.gz
13-06-2023 05:30
424k
coq-elpi_1.19.3-2build4.debian.tar.xz
08-04-2024 07:57
4k
coq-elpi_1.19.3-2build4.dsc
08-04-2024 07:57
4k
coq-elpi_1.19.3.orig.tar.gz
22-12-2023 17:26
560k
coq-elpi_2.1.0-1build1.debian.tar.xz
02-05-2024 20:28
4k
coq-elpi_2.1.0-1build1.dsc
02-05-2024 20:28
4k
coq-elpi_2.1.0.orig.tar.gz
02-05-2024 11:53
700k
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
10-02-2022 23:34
1672k
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
10-02-2022 23:34
4872k
libcoq-elpi_1.16.0-2build1_amd64.deb
17-02-2023 01:14
2952k
libcoq-elpi_1.17.1-1build8_amd64.deb
28-08-2023 15:48
2972k
libcoq-elpi_1.19.3-2build4_amd64.deb
08-04-2024 07:57
3108k
libcoq-elpi_2.1.0-1build1_amd64.deb
03-05-2024 05:21
4156k
Alojado en Chile por Hostenode SpA -
https://hnd.cl