Index of /debian/pool/main/e/elpi

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[TXT]elpi_1.16.8-1.dsc2022-12-07 08:38 2.4K
[   ]elpi_1.16.8.orig.tar.gz2022-12-07 08:38 2.5M
[   ]elpi_1.16.8-1.debian.tar.xz2022-12-07 08:38 4.0K
[   ]elpi_1.16.8-1+b2_i386.deb2023-02-14 07:21 1.4M
[   ]libelpi-ocaml-dev_1.16.8-1+b2_i386.deb2023-02-14 07:21 9.6M
[   ]libelpi-ocaml_1.16.8-1+b2_i386.deb2023-02-14 07:21 4.6M
[   ]elpi_1.16.8-1+b2_ppc64el.deb2023-02-14 07:26 1.5M
[   ]libelpi-ocaml-dev_1.16.8-1+b2_ppc64el.deb2023-02-14 07:26 10M
[   ]libelpi-ocaml_1.16.8-1+b2_ppc64el.deb2023-02-14 07:26 4.7M
[   ]elpi_1.16.8-1+b2_arm64.deb2023-02-14 07:26 1.7M
[   ]libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb2023-02-14 07:26 10M
[   ]libelpi-ocaml_1.16.8-1+b2_arm64.deb2023-02-14 07:26 4.7M
[   ]elpi_1.16.8-1+b2_amd64.deb2023-02-14 07:27 1.5M
[   ]libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb2023-02-14 07:27 9.9M
[   ]libelpi-ocaml_1.16.8-1+b2_amd64.deb2023-02-14 07:27 4.7M
[   ]elpi_1.17.4.orig.tar.gz2023-12-21 15:08 2.5M
[   ]elpi_1.17.4-3.debian.tar.xz2023-12-31 19:26 4.4K
[TXT]elpi_1.17.4-3.dsc2023-12-31 19:26 2.3K
[   ]elpi_1.17.4-3+b1_ppc64el.deb2024-02-16 12:11 1.4M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_ppc64el.deb2024-02-16 12:11 9.1M
[   ]libelpi-ocaml_1.17.4-3+b1_ppc64el.deb2024-02-16 12:11 3.6M
[   ]elpi_1.17.4-3+b1_armhf.deb2024-02-16 12:11 1.3M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_armhf.deb2024-02-16 12:11 8.8M
[   ]libelpi-ocaml_1.17.4-3+b1_armhf.deb2024-02-16 12:11 3.6M
[   ]elpi_1.17.4-3+b1_arm64.deb2024-02-16 12:16 1.6M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_arm64.deb2024-02-16 12:16 9.5M
[   ]libelpi-ocaml_1.17.4-3+b1_arm64.deb2024-02-16 12:16 3.7M
[   ]elpi_1.17.4-3+b1_i386.deb2024-02-16 12:42 1.3M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_i386.deb2024-02-16 12:42 8.7M
[   ]libelpi-ocaml_1.17.4-3+b1_i386.deb2024-02-16 12:42 3.6M
[   ]elpi_1.17.4-3+b1_amd64.deb2024-02-16 12:42 1.4M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_amd64.deb2024-02-16 12:42 8.9M
[   ]libelpi-ocaml_1.17.4-3+b1_amd64.deb2024-02-16 12:42 3.6M
[   ]elpi_1.17.4-3+b1_riscv64.deb2024-02-16 15:04 1.4M
[   ]libelpi-ocaml-dev_1.17.4-3+b1_riscv64.deb2024-02-16 15:04 9.4M
[   ]libelpi-ocaml_1.17.4-3+b1_riscv64.deb2024-02-16 15:04 3.6M

Apache/2.4.59 (Debian) Server at ftp.univ-pau.fr Port 80