Triple - Together we Inspire
News
About us
Contact
Careers
/ubuntu/pool/universe/e/elpi/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
elpi_1.14.1.orig.tar.gz
1544090
2022-Feb-09 05:35
elpi_1.14.1-1.debian.tar.xz
4088
2022-Feb-09 05:35
elpi_1.14.1-1.dsc
2121
2022-Feb-09 05:35
elpi_1.14.1-1_amd64.deb
1221096
2022-Feb-09 05:37
libelpi-ocaml-dev_1.14.1-1_amd64.deb
8360746
2022-Feb-09 05:37
libelpi-ocaml_1.14.1-1_amd64.deb
2416776
2022-Feb-09 05:37
elpi_1.16.8.orig.tar.gz
2601311
2022-Dec-07 11:39
elpi_1.16.8-1build2.debian.tar.xz
4204
2023-Feb-16 23:24
elpi_1.16.8-1build2.dsc
2429
2023-Feb-16 23:24
libelpi-ocaml-dev_1.16.8-1build2_amd64.deb
12654758
2023-Feb-16 23:24
elpi_1.16.8-1build2_amd64.deb
1764382
2023-Feb-16 23:24
libelpi-ocaml_1.16.8-1build2_amd64.deb
6361072
2023-Feb-16 23:24
elpi_1.17.0.orig.tar.gz
2607106
2023-Jul-25 23:29
elpi_1.17.0-1build4.dsc
2433
2023-Aug-28 13:54
elpi_1.17.0-1build4.debian.tar.xz
4364
2023-Aug-28 13:54
libelpi-ocaml_1.17.0-1build4_amd64.deb
4832444
2023-Aug-28 14:24
libelpi-ocaml-dev_1.17.0-1build4_amd64.deb
11253900
2023-Aug-28 14:24
elpi_1.17.0-1build4_amd64.deb
1673766
2023-Aug-28 14:24
elpi_1.17.4.orig.tar.gz
2609080
2023-Dec-21 23:52
elpi_1.17.4-3build1.debian.tar.xz
4568
2024-Feb-17 00:37
elpi_1.17.4-3build1.dsc
2308
2024-Feb-17 00:37
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb
11360002
2024-Feb-17 06:33
libelpi-ocaml_1.17.4-3build1_amd64.deb
4842862
2024-Feb-17 06:33
elpi_1.17.4-3build1_amd64.deb
1643600
2024-Feb-17 06:33
elpi_1.18.2.orig.tar.gz
2630264
2024-May-03 01:55
elpi_1.18.2-4.debian.tar.xz
4848
2024-Jun-18 23:39
elpi_1.18.2-4.dsc
2613
2024-Jun-18 23:39
libelpi-ocaml_1.18.2-4_amd64.deb
4847148
2024-Jun-18 23:39
libelpi-ocaml-dev_1.18.2-4_amd64.deb
11550992
2024-Jun-18 23:39
elpi_1.18.2-4_amd64.deb
1660482
2024-Jun-18 23:39