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.11.0-1.debian.tar.xz 08-Jun-2024 17:43 9236 coq-interval_4.11.0-1.dsc 08-Jun-2024 17:43 2194 coq-interval_4.11.0.orig.tar.bz2 08-Jun-2024 17:43 301998 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.11.0-1_arm64.deb 08-Jun-2024 18:22 7762098 libcoq-interval_4.11.0-1_armhf.deb 08-Jun-2024 17:43 7762452 libcoq-interval_4.11.0-1_ppc64el.deb 08-Jun-2024 17:43 7754986 libcoq-interval_4.11.0-1_riscv64.deb 08-Jun-2024 19:02 7753902 libcoq-interval_4.11.0-1_s390x.deb 08-Jun-2024 17:43 7759942 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