Welcome to ftp.nluug.nl Current directory: /ftp/pub/debian/pool/main/e/elpi/?C=M&O=A |
|
Name Last modified Size
Parent Directory - elpi_1.16.8-1.dsc 07-Dec-2022 08:38 2.4K elpi_1.16.8.orig.tar.gz 07-Dec-2022 08:38 2.5M elpi_1.16.8-1.debian.tar.xz 07-Dec-2022 08:38 4.0K elpi_1.16.8-1+b2_i386.deb 14-Feb-2023 07:21 1.4M libelpi-ocaml-dev_1.16.8-1+b2_i386.deb 14-Feb-2023 07:21 9.6M libelpi-ocaml_1.16.8-1+b2_i386.deb 14-Feb-2023 07:21 4.6M elpi_1.16.8-1+b2_arm64.deb 14-Feb-2023 07:26 1.7M libelpi-ocaml-dev_1.16.8-1+b2_arm64.deb 14-Feb-2023 07:26 10M libelpi-ocaml_1.16.8-1+b2_arm64.deb 14-Feb-2023 07:26 4.7M elpi_1.16.8-1+b2_amd64.deb 14-Feb-2023 07:27 1.5M libelpi-ocaml-dev_1.16.8-1+b2_amd64.deb 14-Feb-2023 07:27 9.9M libelpi-ocaml_1.16.8-1+b2_amd64.deb 14-Feb-2023 07:27 4.7M elpi_1.18.2.orig.tar.gz 26-Apr-2024 15:46 2.5M elpi_1.18.2-5.debian.tar.xz 10-Aug-2024 09:45 4.8K elpi_1.18.2-5.dsc 10-Aug-2024 09:45 2.1K elpi_1.18.2-5+b5_amd64.deb 12-Oct-2024 08:46 1.6M libelpi-ocaml-dev_1.18.2-5+b5_amd64.deb 12-Oct-2024 08:46 13M libelpi-ocaml_1.18.2-5+b5_amd64.deb 12-Oct-2024 08:46 3.0M elpi_1.18.2-5+b5_arm64.deb 12-Oct-2024 08:57 1.8M libelpi-ocaml-dev_1.18.2-5+b5_arm64.deb 12-Oct-2024 08:57 13M libelpi-ocaml_1.18.2-5+b5_arm64.deb 12-Oct-2024 08:57 3.0M elpi_1.18.2-5+b5_riscv64.deb 12-Oct-2024 10:49 1.6M libelpi-ocaml-dev_1.18.2-5+b5_riscv64.deb 12-Oct-2024 10:49 13M libelpi-ocaml_1.18.2-5+b5_riscv64.deb 12-Oct-2024 10:49 3.0M
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!