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-quickchick_1.6.4-3build3.debian.tar.xz 17-Feb-2023 07:29 2812 coq-quickchick_1.6.4-3build3.dsc 17-Feb-2023 07:29 2260 coq-quickchick_1.6.4.orig.tar.gz 15-Aug-2022 11:39 388461 coq-quickchick_2.0-2build1.debian.tar.xz 24-Jul-2023 17:37 2964 coq-quickchick_2.0-2build1.dsc 24-Jul-2023 17:37 2260 coq-quickchick_2.0.2-1build5.debian.tar.xz 08-Apr-2024 07:57 3300 coq-quickchick_2.0.2-1build5.dsc 08-Apr-2024 07:57 2353 coq-quickchick_2.0.2.orig.tar.gz 20-Jan-2024 23:35 415619 coq-quickchick_2.0.3-2.debian.tar.xz 02-May-2024 11:53 2792 coq-quickchick_2.0.3-2.dsc 02-May-2024 11:53 2275 coq-quickchick_2.0.3-2build1.debian.tar.xz 02-May-2024 20:28 2868 coq-quickchick_2.0.3-2build1.dsc 02-May-2024 20:28 2274 coq-quickchick_2.0.3-2build2.debian.tar.xz 13-May-2024 18:39 2872 coq-quickchick_2.0.3-2build2.dsc 13-May-2024 18:39 2274 coq-quickchick_2.0.3.orig.tar.gz 02-May-2024 11:53 411625 coq-quickchick_2.0.orig.tar.gz 14-Jun-2023 23:24 409785 libcoq-quickchick_1.6.4-3build3_arm64.deb 17-Feb-2023 07:29 1864406 libcoq-quickchick_1.6.4-3build3_armhf.deb 17-Feb-2023 07:29 1822652 libcoq-quickchick_1.6.4-3build3_ppc64el.deb 17-Feb-2023 07:29 1834522 libcoq-quickchick_1.6.4-3build3_riscv64.deb 17-Feb-2023 08:33 1821830 libcoq-quickchick_1.6.4-3build3_s390x.deb 17-Feb-2023 07:29 1835786 libcoq-quickchick_2.0-2build1_arm64.deb 26-Jul-2023 09:58 2150838 libcoq-quickchick_2.0-2build1_armhf.deb 26-Jul-2023 09:58 2095626 libcoq-quickchick_2.0-2build1_ppc64el.deb 26-Jul-2023 09:58 2109726 libcoq-quickchick_2.0-2build1_riscv64.deb 26-Jul-2023 10:30 2095508 libcoq-quickchick_2.0-2build1_s390x.deb 26-Jul-2023 09:58 2114574 libcoq-quickchick_2.0.2-1build5_arm64.deb 08-Apr-2024 14:36 2005084 libcoq-quickchick_2.0.2-1build5_armhf.deb 08-Apr-2024 14:36 1950766 libcoq-quickchick_2.0.2-1build5_ppc64el.deb 08-Apr-2024 14:36 1963586 libcoq-quickchick_2.0.2-1build5_riscv64.deb 09-Apr-2024 07:00 1961648 libcoq-quickchick_2.0.2-1build5_s390x.deb 08-Apr-2024 14:36 1966562 libcoq-quickchick_2.0.3-2_arm64.deb 02-May-2024 11:53 3854768 libcoq-quickchick_2.0.3-2_ppc64el.deb 02-May-2024 11:53 3847342 libcoq-quickchick_2.0.3-2_riscv64.deb 02-May-2024 12:39 4044572 libcoq-quickchick_2.0.3-2build1_arm64.deb 04-May-2024 14:03 3880594 libcoq-quickchick_2.0.3-2build1_armhf.deb 09-May-2024 06:45 3788908 libcoq-quickchick_2.0.3-2build1_ppc64el.deb 04-May-2024 07:33 3877156 libcoq-quickchick_2.0.3-2build1_riscv64.deb 07-May-2024 20:33 4073862 libcoq-quickchick_2.0.3-2build2_arm64.deb 13-May-2024 19:24 3880438 libcoq-quickchick_2.0.3-2build2_ppc64el.deb 13-May-2024 19:24 3877064 libcoq-quickchick_2.0.3-2build2_riscv64.deb 13-May-2024 20:16 4073190 quickchick_1.6.4-3build3_arm64.deb 17-Feb-2023 07:29 63418 quickchick_1.6.4-3build3_armhf.deb 17-Feb-2023 07:29 63416 quickchick_1.6.4-3build3_ppc64el.deb 17-Feb-2023 07:29 63418 quickchick_1.6.4-3build3_riscv64.deb 17-Feb-2023 08:33 63420 quickchick_1.6.4-3build3_s390x.deb 17-Feb-2023 07:29 63414 quickchick_2.0-2build1_arm64.deb 26-Jul-2023 09:58 63790 quickchick_2.0-2build1_armhf.deb 26-Jul-2023 09:58 63792 quickchick_2.0-2build1_ppc64el.deb 26-Jul-2023 09:58 63796 quickchick_2.0-2build1_riscv64.deb 26-Jul-2023 10:30 63796 quickchick_2.0-2build1_s390x.deb 26-Jul-2023 09:58 63792 quickchick_2.0.2-1build5_arm64.deb 08-Apr-2024 14:36 66526 quickchick_2.0.2-1build5_armhf.deb 08-Apr-2024 14:36 66526 quickchick_2.0.2-1build5_ppc64el.deb 08-Apr-2024 14:36 66528 quickchick_2.0.2-1build5_riscv64.deb 09-Apr-2024 07:00 66526 quickchick_2.0.2-1build5_s390x.deb 08-Apr-2024 14:36 66528 quickchick_2.0.3-2_arm64.deb 02-May-2024 11:53 540196 quickchick_2.0.3-2_ppc64el.deb 02-May-2024 11:53 517180 quickchick_2.0.3-2_riscv64.deb 02-May-2024 12:39 481348 quickchick_2.0.3-2build1_arm64.deb 04-May-2024 14:03 537846 quickchick_2.0.3-2build1_armhf.deb 09-May-2024 06:45 435572 quickchick_2.0.3-2build1_ppc64el.deb 04-May-2024 07:33 517756 quickchick_2.0.3-2build1_riscv64.deb 07-May-2024 20:33 481550 quickchick_2.0.3-2build2_arm64.deb 13-May-2024 19:24 540922 quickchick_2.0.3-2build2_ppc64el.deb 13-May-2024 19:24 517802 quickchick_2.0.3-2build2_riscv64.deb 13-May-2024 20:16 480426