Index of /debian/pool/main/e/elpi/
name
size
date
elpi_3.7.2-2+b1_riscv64.deb
1.87M
2026-08-06 01:55:09
libelpi-ocaml-dev_3.7.2-2+b1_riscv64.deb
12.36M
2026-08-06 01:55:09
libelpi-ocaml_3.7.2-2+b1_riscv64.deb
3.27M
2026-08-06 01:55:09
elpi_3.7.2-2+b2_amd64.deb
1.77M
2026-08-06 00:49:07
libelpi-ocaml-dev_3.7.2-2+b2_amd64.deb
11.53M
2026-08-06 00:49:07
libelpi-ocaml_3.7.2-2+b2_amd64.deb
3.24M
2026-08-06 00:49:07
elpi_3.7.2-2+b1_arm64.deb
2.04M
2026-08-06 00:44:04
libelpi-ocaml-dev_3.7.2-2+b1_arm64.deb
12.21M
2026-08-06 00:44:04
libelpi-ocaml_3.7.2-2+b1_arm64.deb
3.31M
2026-08-06 00:44:04
elpi_3.7.2-2+b1_ppc64el.deb
1.80M
2026-08-06 00:43:55
libelpi-ocaml-dev_3.7.2-2+b1_ppc64el.deb
11.70M
2026-08-06 00:43:55
libelpi-ocaml_3.7.2-2+b1_ppc64el.deb
3.25M
2026-08-06 00:43:55
elpi_3.7.2-2+b1_s390x.deb
1.83M
2026-08-06 00:38:46
libelpi-ocaml-dev_3.7.2-2+b1_s390x.deb
11.62M
2026-08-06 00:38:46
libelpi-ocaml_3.7.2-2+b1_s390x.deb
3.27M
2026-08-06 00:38:46
elpi_3.7.2-2.debian.tar.xz
6.0K
2026-07-22 10:04:31
elpi_3.7.2-2.dsc
2.4K
2026-07-22 10:04:31
elpi_3.7.2.orig.tar.gz
2.58M
2026-07-10 08:25:53
elpi_2.0.7-1+b1_s390x.deb
1.78M
2025-06-16 11:46:24
libelpi-ocaml-dev_2.0.7-1+b1_s390x.deb
14.57M
2025-06-16 11:46:24
libelpi-ocaml_2.0.7-1+b1_s390x.deb
3.74M
2025-06-16 11:46:24
elpi_2.0.7-1+b1_ppc64el.deb
1.78M
2025-06-15 05:22:55
libelpi-ocaml-dev_2.0.7-1+b1_ppc64el.deb
14.73M
2025-06-15 05:22:55
libelpi-ocaml_2.0.7-1+b1_ppc64el.deb
3.70M
2025-06-15 05:22:55
elpi_2.0.7-1+b1_arm64.deb
2.01M
2025-06-15 04:52:38
libelpi-ocaml-dev_2.0.7-1+b1_arm64.deb
15.13M
2025-06-15 04:52:38
libelpi-ocaml_2.0.7-1+b1_arm64.deb
3.77M
2025-06-15 04:52:38
elpi_2.0.7-1+b1_riscv64.deb
1.84M
2025-06-15 02:55:17
libelpi-ocaml-dev_2.0.7-1+b1_riscv64.deb
15.44M
2025-06-15 02:55:17
libelpi-ocaml_2.0.7-1+b1_riscv64.deb
3.74M
2025-06-15 02:55:17
elpi_2.0.7-1+b1_amd64.deb
1.77M
2025-06-14 23:08:38
libelpi-ocaml-dev_2.0.7-1+b1_amd64.deb
14.57M
2025-06-14 23:08:38
libelpi-ocaml_2.0.7-1+b1_amd64.deb
3.71M
2025-06-14 23:08:38
elpi_2.0.7-1.debian.tar.xz
5.0K
2025-02-17 16:37:02
elpi_2.0.7-1.dsc
2.4K
2025-02-17 16:37:02
elpi_2.0.7.orig.tar.gz
2.52M
2025-02-17 16:37:02
elpi_1.16.8-1+b2_amd64.deb
1.48M
2023-02-14 06:27:06
libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb
9.90M
2023-02-14 06:27:06
libelpi-ocaml_1.16.8-1+b2_amd64.deb
4.67M
2023-02-14 06:27:06
elpi_1.16.8-1+b2_arm64.deb
1.71M
2023-02-14 06:26:54
libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb
10.38M
2023-02-14 06:26:54
libelpi-ocaml_1.16.8-1+b2_arm64.deb
4.72M
2023-02-14 06:26:54
elpi_1.16.8-1+b2_ppc64el.deb
1.55M
2023-02-14 06:26:44
libelpi-ocaml-dev_1.16.8-1+b2_ppc64el.deb
10.12M
2023-02-14 06:26:44
libelpi-ocaml_1.16.8-1+b2_ppc64el.deb
4.71M
2023-02-14 06:26:44
elpi_1.16.8-1+b2_i386.deb
1.40M
2023-02-14 06:21:28
libelpi-ocaml-dev_1.16.8-1+b2_i386.deb
9.64M
2023-02-14 06:21:28
libelpi-ocaml_1.16.8-1+b2_i386.deb
4.60M
2023-02-14 06:21:28
elpi_1.16.8-1.debian.tar.xz
4.0K
2022-12-07 07:38:05
elpi_1.16.8-1.dsc
2.4K
2022-12-07 07:38:05
elpi_1.16.8.orig.tar.gz
2.48M
2022-12-07 07:38:05