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-deriving_0.1.0-2build2.debian.tar.xz 16-Feb-2023 18:50 2052 coq-deriving_0.1.0-2build2.dsc 16-Feb-2023 18:50 2112 coq-deriving_0.1.0.orig.tar.gz 18-Jul-2022 23:49 29290 coq-deriving_0.1.1-1build1.debian.tar.xz 24-Jul-2023 17:37 2084 coq-deriving_0.1.1-1build1.dsc 24-Jul-2023 17:37 2112 coq-deriving_0.1.1.orig.tar.gz 14-Jun-2023 23:24 30057 coq-deriving_0.2.0-1build5.debian.tar.xz 08-Apr-2024 07:57 2384 coq-deriving_0.2.0-1build5.dsc 08-Apr-2024 07:57 2191 coq-deriving_0.2.0-2build1.debian.tar.xz 02-May-2024 20:28 2220 coq-deriving_0.2.0-2build1.dsc 02-May-2024 20:28 2112 coq-deriving_0.2.0-2build2.debian.tar.xz 13-May-2024 18:39 2228 coq-deriving_0.2.0-2build2.dsc 13-May-2024 18:39 2112 coq-deriving_0.2.0.orig.tar.gz 25-Dec-2023 17:31 31391 libcoq-deriving_0.1.0-2build2_arm64.deb 16-Feb-2023 18:50 478840 libcoq-deriving_0.1.0-2build2_armhf.deb 16-Feb-2023 18:50 478768 libcoq-deriving_0.1.0-2build2_ppc64el.deb 16-Feb-2023 18:50 478808 libcoq-deriving_0.1.0-2build2_riscv64.deb 17-Feb-2023 02:34 478902 libcoq-deriving_0.1.0-2build2_s390x.deb 16-Feb-2023 19:44 478800 libcoq-deriving_0.1.1-1build1_arm64.deb 25-Jul-2023 17:19 479478 libcoq-deriving_0.1.1-1build1_armhf.deb 25-Jul-2023 17:19 478414 libcoq-deriving_0.1.1-1build1_ppc64el.deb 25-Jul-2023 17:19 479492 libcoq-deriving_0.1.1-1build1_riscv64.deb 26-Jul-2023 00:25 479424 libcoq-deriving_0.1.1-1build1_s390x.deb 25-Jul-2023 17:19 479552 libcoq-deriving_0.2.0-1build5_arm64.deb 08-Apr-2024 19:24 491362 libcoq-deriving_0.2.0-1build5_armhf.deb 08-Apr-2024 19:24 491036 libcoq-deriving_0.2.0-1build5_ppc64el.deb 08-Apr-2024 20:09 491334 libcoq-deriving_0.2.0-1build5_riscv64.deb 09-Apr-2024 05:15 491352 libcoq-deriving_0.2.0-1build5_s390x.deb 09-Apr-2024 03:08 491370 libcoq-deriving_0.2.0-2build1_arm64.deb 04-May-2024 14:03 521034 libcoq-deriving_0.2.0-2build1_armhf.deb 09-May-2024 06:45 491014 libcoq-deriving_0.2.0-2build1_ppc64el.deb 04-May-2024 07:33 521062 libcoq-deriving_0.2.0-2build1_riscv64.deb 07-May-2024 21:14 521028 libcoq-deriving_0.2.0-2build2_arm64.deb 13-May-2024 18:40 521068 libcoq-deriving_0.2.0-2build2_ppc64el.deb 13-May-2024 18:40 521078 libcoq-deriving_0.2.0-2build2_riscv64.deb 13-May-2024 19:24 521028