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.1-1build11.debian.tar.xz 31-Aug-2025 19:42 9624 coq-interval_4.11.1-1build11.dsc 31-Aug-2025 19:42 2194 coq-interval_4.11.1-1build7.debian.tar.xz 19-Feb-2025 07:52 9552 coq-interval_4.11.1-1build7.dsc 19-Feb-2025 07:52 2190 coq-interval_4.11.1.orig.tar.gz 20-Nov-2024 18:47 380862 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.1-1build11_arm64.deb 02-Sep-2025 08:36 7637306 libcoq-interval_4.11.1-1build11_ppc64el.deb 02-Sep-2025 08:36 7635258 libcoq-interval_4.11.1-1build11_riscv64.deb 03-Sep-2025 08:05 7635836 libcoq-interval_4.11.1-1build11_s390x.deb 02-Sep-2025 08:36 7635778 libcoq-interval_4.11.1-1build7_arm64.deb 20-Feb-2025 20:15 7642542 libcoq-interval_4.11.1-1build7_ppc64el.deb 20-Feb-2025 12:56 7640498 libcoq-interval_4.11.1-1build7_riscv64.deb 21-Feb-2025 03:24 7640934 libcoq-interval_4.11.1-1build7_s390x.deb 20-Feb-2025 09:58 7640468 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