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-interval_4.10.0-1.debian.tar.xz 02-May-2024 11:53 9216 coq-interval_4.10.0-1.dsc 02-May-2024 11:53 2194 coq-interval_4.10.0-1build1.debian.tar.xz 02-May-2024 20:28 9272 coq-interval_4.10.0-1build1.dsc 02-May-2024 20:28 2193 coq-interval_4.10.0-1build2.debian.tar.xz 13-May-2024 18:39 9296 coq-interval_4.10.0-1build2.dsc 13-May-2024 18:39 2193 coq-interval_4.10.0.orig.tar.bz2 02-May-2024 11:53 299750 coq-interval_4.6.1-2build3.debian.tar.xz 17-Feb-2023 07:29 8864 coq-interval_4.6.1-2build3.dsc 17-Feb-2023 07:29 2186 coq-interval_4.6.1.orig.tar.bz2 13-Dec-2022 17:19 259459 coq-interval_4.8.0-1.debian.tar.xz 03-Aug-2023 17:59 8848 coq-interval_4.8.0-1.dsc 03-Aug-2023 17:59 2187 coq-interval_4.8.0.orig.tar.bz2 03-Aug-2023 17:59 281682 coq-interval_4.9.0-1build5.debian.tar.xz 08-Apr-2024 07:57 9448 coq-interval_4.9.0-1build5.dsc 08-Apr-2024 07:57 2265 coq-interval_4.9.0.orig.tar.bz2 26-Dec-2023 17:17 282047 libcoq-interval_4.10.0-1_arm64.deb 02-May-2024 11:53 7369070 libcoq-interval_4.10.0-1_ppc64el.deb 02-May-2024 11:53 7367842 libcoq-interval_4.10.0-1_riscv64.deb 02-May-2024 13:24 7367836 libcoq-interval_4.10.0-1build1_arm64.deb 04-May-2024 16:14 7802056 libcoq-interval_4.10.0-1build1_armhf.deb 09-May-2024 06:45 7373820 libcoq-interval_4.10.0-1build1_ppc64el.deb 04-May-2024 10:03 7807198 libcoq-interval_4.10.0-1build1_riscv64.deb 08-May-2024 05:58 7800376 libcoq-interval_4.10.0-1build2_arm64.deb 13-May-2024 19:24 7801978 libcoq-interval_4.10.0-1build2_ppc64el.deb 13-May-2024 19:24 7800526 libcoq-interval_4.10.0-1build2_riscv64.deb 13-May-2024 20:58 7800338 libcoq-interval_4.6.1-2build3_arm64.deb 17-Feb-2023 07:29 5425124 libcoq-interval_4.6.1-2build3_armhf.deb 17-Feb-2023 07:29 5431474 libcoq-interval_4.6.1-2build3_ppc64el.deb 17-Feb-2023 07:29 5423724 libcoq-interval_4.6.1-2build3_riscv64.deb 17-Feb-2023 09:07 5423032 libcoq-interval_4.6.1-2build3_s390x.deb 17-Feb-2023 07:29 5423642 libcoq-interval_4.8.0-1_arm64.deb 03-Aug-2023 17:59 6778096 libcoq-interval_4.8.0-1_armhf.deb 03-Aug-2023 17:59 6776624 libcoq-interval_4.8.0-1_ppc64el.deb 03-Aug-2023 17:59 6776806 libcoq-interval_4.8.0-1_riscv64.deb 03-Aug-2023 18:59 6776082 libcoq-interval_4.8.0-1_s390x.deb 03-Aug-2023 17:59 6776604 libcoq-interval_4.9.0-1build5_arm64.deb 08-Apr-2024 20:09 6836566 libcoq-interval_4.9.0-1build5_armhf.deb 08-Apr-2024 19:24 6835830 libcoq-interval_4.9.0-1build5_ppc64el.deb 08-Apr-2024 20:52 6835126 libcoq-interval_4.9.0-1build5_riscv64.deb 09-Apr-2024 07:42 6834944 libcoq-interval_4.9.0-1build5_s390x.deb 09-Apr-2024 02:23 6835054