| Parent directory/ | - | - |
| libelpi-ocaml-dev_1.14.1-1_armhf.deb | 8.0 MiB | Wed, 9 February 2022 07:00:29 AM |
| elpi_1.14.1-1_armhf.deb | 1.1 MiB | Wed, 9 February 2022 07:00:29 AM |
| libelpi-ocaml_1.14.1-1_armhf.deb | 2.3 MiB | Wed, 9 February 2022 07:00:29 AM |
| libelpi-ocaml_1.14.1-1_arm64.deb | 2.4 MiB | Wed, 9 February 2022 07:00:15 AM |
| elpi_1.14.1-1_arm64.deb | 1.4 MiB | Wed, 9 February 2022 07:00:15 AM |
| libelpi-ocaml-dev_1.14.1-1_arm64.deb | 8.8 MiB | Wed, 9 February 2022 07:00:15 AM |
| libelpi-ocaml_1.14.1-1_ppc64el.deb | 2.4 MiB | Wed, 9 February 2022 06:39:17 AM |
| elpi_1.14.1-1_ppc64el.deb | 1.3 MiB | Wed, 9 February 2022 06:39:17 AM |
| libelpi-ocaml-dev_1.14.1-1_ppc64el.deb | 8.3 MiB | Wed, 9 February 2022 06:39:17 AM |
| elpi_1.14.1-1_amd64.deb | 1.2 MiB | Wed, 9 February 2022 06:37:27 AM |
| libelpi-ocaml_1.14.1-1_amd64.deb | 2.3 MiB | Wed, 9 February 2022 06:37:27 AM |
| libelpi-ocaml-dev_1.14.1-1_amd64.deb | 8.0 MiB | Wed, 9 February 2022 06:37:27 AM |
| elpi_1.14.1-1.debian.tar.xz | 4.0 KiB | Wed, 9 February 2022 06:35:27 AM |
| elpi_1.14.1.orig.tar.gz | 1.5 MiB | Wed, 9 February 2022 06:35:27 AM |
| elpi_1.14.1-1.dsc | 2.1 KiB | Wed, 9 February 2022 06:35:27 AM |