Welcome to docker.ru hosting provider linux mirror located at Moscow, Russian Federation.
Server configuration: Linux with OpenZFS, 2 x E5-2670v2, 128 GB ECC memory, 12 x 4 TB raidz2 + 1 TB SSD for L2ARC.
Network: 20 gbps uplink, IPv4 (185.253.23.31), IPv6 (2a04:8580:ffff:fffe::2).
My hostname is mirror.docker.ru
../ coq-elpi_1.13.0-1.debian.tar.xz 10-Feb-2022 23:14 2584 coq-elpi_1.13.0-1.dsc 10-Feb-2022 23:14 2088 coq-elpi_1.13.0.orig.tar.gz 10-Feb-2022 23:14 360052 coq-elpi_1.16.0-2build1.debian.tar.xz 16-Feb-2023 23:24 3472 coq-elpi_1.16.0-2build1.dsc 16-Feb-2023 23:24 2029 coq-elpi_1.16.0.orig.tar.gz 20-Nov-2022 23:50 426223 coq-elpi_1.17.1-1build8.debian.tar.xz 28-Aug-2023 15:19 3692 coq-elpi_1.17.1-1build8.dsc 28-Aug-2023 15:19 2029 coq-elpi_1.17.1.orig.tar.gz 13-Jun-2023 05:30 430263 coq-elpi_1.19.3-2build4.debian.tar.xz 08-Apr-2024 07:57 3852 coq-elpi_1.19.3-2build4.dsc 08-Apr-2024 07:57 2108 coq-elpi_1.19.3.orig.tar.gz 22-Dec-2023 17:26 571678 coq-elpi_2.1.0-1build1.debian.tar.xz 02-May-2024 20:28 3724 coq-elpi_2.1.0-1build1.dsc 02-May-2024 20:28 2022 coq-elpi_2.1.0.orig.tar.gz 02-May-2024 11:53 715777 libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb 10-Feb-2022 23:53 1736716 libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb 10-Feb-2022 23:53 1746256 libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb 10-Feb-2022 23:34 1759488 libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb 11-Feb-2022 01:39 1977632 libcoq-elpi-ocaml_1.13.0-1_arm64.deb 10-Feb-2022 23:53 5242168 libcoq-elpi-ocaml_1.13.0-1_armhf.deb 10-Feb-2022 23:53 4986488 libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb 10-Feb-2022 23:34 5066546 libcoq-elpi-ocaml_1.13.0-1_riscv64.deb 11-Feb-2022 01:39 5018250 libcoq-elpi_1.16.0-2build1_arm64.deb 17-Feb-2023 01:14 3182408 libcoq-elpi_1.16.0-2build1_ppc64el.deb 17-Feb-2023 01:15 3078454 libcoq-elpi_1.16.0-2build1_riscv64.deb 17-Feb-2023 02:34 3049498 libcoq-elpi_1.17.1-1build8_arm64.deb 28-Aug-2023 15:48 3196552 libcoq-elpi_1.17.1-1build8_ppc64el.deb 28-Aug-2023 15:48 3090736 libcoq-elpi_1.17.1-1build8_riscv64.deb 28-Aug-2023 16:39 3056120 libcoq-elpi_1.19.3-2build4_arm64.deb 08-Apr-2024 07:57 3369984 libcoq-elpi_1.19.3-2build4_armhf.deb 08-Apr-2024 07:57 3176526 libcoq-elpi_1.19.3-2build4_ppc64el.deb 08-Apr-2024 07:57 3242648 libcoq-elpi_1.19.3-2build4_riscv64.deb 08-Apr-2024 07:57 3273374 libcoq-elpi_1.19.3-2build4_s390x.deb 08-Apr-2024 07:57 3255320 libcoq-elpi_2.1.0-1build1_arm64.deb 03-May-2024 19:04 4494658 libcoq-elpi_2.1.0-1build1_ppc64el.deb 03-May-2024 09:09 4297772 libcoq-elpi_2.1.0-1build1_riscv64.deb 06-May-2024 09:53 4329154