Welcome to mirror.sh.com.tr
This server is located at Istanbul, Turkey, and is running on a 10GE connection with approximately 5 TB storage.
Index of /ubuntu/ubuntu/ubuntu/pool/universe/e/elpi/
Index of /ubuntu/ubuntu/ubuntu/pool/universe/e/elpi/
../
elpi_1.14.1-1.debian.tar.xz 09-Feb-2022 08:35 4088
elpi_1.14.1-1.dsc 09-Feb-2022 08:35 2121
elpi_1.14.1-1_amd64.deb 09-Feb-2022 08:37 1M
elpi_1.14.1.orig.tar.gz 09-Feb-2022 08:35 1M
elpi_1.16.8-1build2.debian.tar.xz 17-Feb-2023 02:24 4204
elpi_1.16.8-1build2.dsc 17-Feb-2023 02:24 2429
elpi_1.16.8-1build2_amd64.deb 17-Feb-2023 02:24 2M
elpi_1.16.8.orig.tar.gz 07-Dec-2022 14:39 2M
elpi_1.17.0-1build4.debian.tar.xz 28-Aug-2023 16:54 4364
elpi_1.17.0-1build4.dsc 28-Aug-2023 16:54 2433
elpi_1.17.0-1build4_amd64.deb 28-Aug-2023 17:24 2M
elpi_1.17.0.orig.tar.gz 26-Jul-2023 02:29 2M
elpi_1.17.4-3build1.debian.tar.xz 17-Feb-2024 03:37 4568
elpi_1.17.4-3build1.dsc 17-Feb-2024 03:37 2308
elpi_1.17.4-3build1_amd64.deb 17-Feb-2024 09:33 2M
elpi_1.17.4.orig.tar.gz 22-Dec-2023 02:52 2M
elpi_1.18.2-1.debian.tar.xz 03-May-2024 04:55 4516
elpi_1.18.2-1.dsc 03-May-2024 04:55 2497
elpi_1.18.2-1_amd64.deb 03-May-2024 05:40 2M
elpi_1.18.2.orig.tar.gz 03-May-2024 04:55 3M
libelpi-ocaml-dev_1.14.1-1_amd64.deb 09-Feb-2022 08:37 8M
libelpi-ocaml-dev_1.16.8-1build2_amd64.deb 17-Feb-2023 02:24 12M
libelpi-ocaml-dev_1.17.0-1build4_amd64.deb 28-Aug-2023 17:24 11M
libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 17-Feb-2024 09:33 11M
libelpi-ocaml-dev_1.18.2-1_amd64.deb 03-May-2024 05:40 11M
libelpi-ocaml_1.14.1-1_amd64.deb 09-Feb-2022 08:37 2M
libelpi-ocaml_1.16.8-1build2_amd64.deb 17-Feb-2023 02:24 6M
libelpi-ocaml_1.17.0-1build4_amd64.deb 28-Aug-2023 17:24 5M
libelpi-ocaml_1.17.4-3build1_amd64.deb 17-Feb-2024 09:33 5M
libelpi-ocaml_1.18.2-1_amd64.deb 03-May-2024 05:40 5M