| Parent directory/ | - | - |
| elpi_1.18.2-4_riscv64.deb | 1.4 MiB | 2024-Jun-18 14:03 |
| libelpi-ocaml-dev_1.18.2-4_riscv64.deb | 9.8 MiB | 2024-Jun-18 14:03 |
| libelpi-ocaml_1.18.2-4_riscv64.deb | 3.7 MiB | 2024-Jun-18 14:03 |
| elpi_1.18.2-4_arm64.deb | 1.6 MiB | 2024-Jun-18 13:18 |
| libelpi-ocaml-dev_1.18.2-4_arm64.deb | 9.8 MiB | 2024-Jun-18 13:18 |
| libelpi-ocaml_1.18.2-4_arm64.deb | 3.8 MiB | 2024-Jun-18 13:18 |
| elpi_1.18.2-4_armhf.deb | 1.3 MiB | 2024-Jun-18 13:18 |
| libelpi-ocaml_1.18.2-4_armhf.deb | 3.7 MiB | 2024-Jun-18 13:18 |
| libelpi-ocaml-dev_1.18.2-4_armhf.deb | 9.2 MiB | 2024-Jun-18 13:18 |
| libelpi-ocaml-dev_1.18.2-4_s390x.deb | 9.3 MiB | 2024-Jun-18 13:13 |
| elpi_1.18.2-4_s390x.deb | 1.4 MiB | 2024-Jun-18 13:13 |
| libelpi-ocaml_1.18.2-4_s390x.deb | 3.7 MiB | 2024-Jun-18 13:13 |
| libelpi-ocaml_1.18.2-4_amd64.deb | 3.7 MiB | 2024-Jun-18 13:13 |
| libelpi-ocaml-dev_1.18.2-4_amd64.deb | 9.3 MiB | 2024-Jun-18 13:13 |
| elpi_1.18.2-4_amd64.deb | 1.4 MiB | 2024-Jun-18 13:13 |
| elpi_1.18.2-4_ppc64el.deb | 1.4 MiB | 2024-Jun-18 13:13 |
| libelpi-ocaml-dev_1.18.2-4_ppc64el.deb | 9.4 MiB | 2024-Jun-18 13:13 |
| libelpi-ocaml_1.18.2-4_ppc64el.deb | 3.7 MiB | 2024-Jun-18 13:13 |
| elpi_1.18.2-4_i386.deb | 1.3 MiB | 2024-Jun-18 13:07 |
| libelpi-ocaml-dev_1.18.2-4_i386.deb | 9.0 MiB | 2024-Jun-18 13:07 |
| libelpi-ocaml_1.18.2-4_i386.deb | 3.6 MiB | 2024-Jun-18 13:07 |
| elpi_1.18.2-4.debian.tar.xz | 4.7 KiB | 2024-Jun-18 12:47 |
| elpi_1.18.2-4.dsc | 2.6 KiB | 2024-Jun-18 12:47 |
| elpi_1.18.2.orig.tar.gz | 2.5 MiB | 2024-Apr-26 16:46 |
| elpi_1.17.4-3.debian.tar.xz | 4.4 KiB | 2023-Dec-31 21:26 |
| elpi_1.17.4-3.dsc | 2.3 KiB | 2023-Dec-31 21:26 |
| elpi_1.17.4.orig.tar.gz | 2.5 MiB | 2023-Dec-21 17:08 |
| elpi_1.16.8-1+b2_amd64.deb | 1.5 MiB | 2023-Feb-14 09:27 |
| libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb | 9.9 MiB | 2023-Feb-14 09:27 |
| libelpi-ocaml_1.16.8-1+b2_amd64.deb | 4.7 MiB | 2023-Feb-14 09:27 |
| elpi_1.16.8-1+b2_arm64.deb | 1.7 MiB | 2023-Feb-14 09:26 |
| libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb | 10.4 MiB | 2023-Feb-14 09:26 |
| libelpi-ocaml_1.16.8-1+b2_arm64.deb | 4.7 MiB | 2023-Feb-14 09:26 |
| elpi_1.16.8-1+b2_ppc64el.deb | 1.5 MiB | 2023-Feb-14 09:26 |
| libelpi-ocaml-dev_1.16.8-1+b2_ppc64el.deb | 10.1 MiB | 2023-Feb-14 09:26 |
| libelpi-ocaml_1.16.8-1+b2_ppc64el.deb | 4.7 MiB | 2023-Feb-14 09:26 |
| elpi_1.16.8-1+b2_i386.deb | 1.4 MiB | 2023-Feb-14 09:21 |
| libelpi-ocaml-dev_1.16.8-1+b2_i386.deb | 9.6 MiB | 2023-Feb-14 09:21 |
| libelpi-ocaml_1.16.8-1+b2_i386.deb | 4.6 MiB | 2023-Feb-14 09:21 |
| elpi_1.16.8-1.dsc | 2.4 KiB | 2022-Dec-07 10:38 |
| elpi_1.16.8-1.debian.tar.xz | 4.0 KiB | 2022-Dec-07 10:38 |
| elpi_1.16.8.orig.tar.gz | 2.5 MiB | 2022-Dec-07 10:38 |
