Index of /debian/pool/main/e/elpi/
name
size
date
elpi_3.7.2-2+b1_amd64.deb
1.77M
2026-07-27 20:33:40
libelpi-ocaml-dev_3.7.2-2+b1_amd64.deb
11.64M
2026-07-27 20:33:40
libelpi-ocaml_3.7.2-2+b1_amd64.deb
3.24M
2026-07-27 20:33:40
elpi_3.7.2-2_riscv64.deb
1.87M
2026-07-22 15:59:56
libelpi-ocaml-dev_3.7.2-2_riscv64.deb
12.53M
2026-07-22 15:59:56
libelpi-ocaml_3.7.2-2_riscv64.deb
3.28M
2026-07-22 15:59:56
elpi_3.7.2-2_ppc64el.deb
1.80M
2026-07-22 14:18:02
libelpi-ocaml-dev_3.7.2-2_ppc64el.deb
11.82M
2026-07-22 14:18:02
libelpi-ocaml_3.7.2-2_ppc64el.deb
3.26M
2026-07-22 14:18:02
elpi_3.7.2-2_s390x.deb
1.83M
2026-07-22 11:00:15
libelpi-ocaml-dev_3.7.2-2_s390x.deb
11.73M
2026-07-22 11:00:15
libelpi-ocaml_3.7.2-2_s390x.deb
3.28M
2026-07-22 11:00:15
elpi_3.7.2-2_arm64.deb
2.05M
2026-07-22 10:34:59
libelpi-ocaml-dev_3.7.2-2_arm64.deb
12.33M
2026-07-22 10:34:59
libelpi-ocaml_3.7.2-2_arm64.deb
3.32M
2026-07-22 10:34:59
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