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-mtac2_1.4+8.16-2.debian.tar.xz 26-Jan-2023 12:44 2480 coq-mtac2_1.4+8.16-2.dsc 26-Jan-2023 12:44 2100 coq-mtac2_1.4+8.16.orig.tar.gz 06-Sep-2022 09:09 251070 coq-mtac2_1.4+8.18-1.debian.tar.xz 22-Dec-2023 11:07 2756 coq-mtac2_1.4+8.18-1.dsc 22-Dec-2023 11:07 2100 coq-mtac2_1.4+8.18.orig.tar.gz 22-Dec-2023 11:07 252158 coq-mtac2_1.4+8.19-1.debian.tar.xz 26-Apr-2024 14:06 2788 coq-mtac2_1.4+8.19-1.dsc 26-Apr-2024 14:06 2100 coq-mtac2_1.4+8.19.orig.tar.gz 26-Apr-2024 14:06 252242 libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 07:28 762732 libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 07:28 771848 libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 13-Feb-2023 07:28 760920 libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 07:34 750740 libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb 14-Feb-2023 11:17 766080 libcoq-mtac2_1.4+8.16-2+b1_s390x.deb 13-Feb-2023 07:33 766236 libcoq-mtac2_1.4+8.18-1_amd64.deb 23-Dec-2023 11:52 785092 libcoq-mtac2_1.4+8.18-1_arm64.deb 23-Dec-2023 11:52 795192 libcoq-mtac2_1.4+8.18-1_armhf.deb 23-Dec-2023 11:52 783812 libcoq-mtac2_1.4+8.18-1_i386.deb 23-Dec-2023 11:52 773416 libcoq-mtac2_1.4+8.18-1_ppc64el.deb 23-Dec-2023 11:52 788768 libcoq-mtac2_1.4+8.18-1_s390x.deb 23-Dec-2023 11:52 789344 libcoq-mtac2_1.4+8.19-1_amd64.deb 28-Apr-2024 15:11 796760 libcoq-mtac2_1.4+8.19-1_arm64.deb 28-Apr-2024 15:11 807184 libcoq-mtac2_1.4+8.19-1_armhf.deb 28-Apr-2024 15:16 795236 libcoq-mtac2_1.4+8.19-1_i386.deb 28-Apr-2024 15:11 785080 libcoq-mtac2_1.4+8.19-1_ppc64el.deb 28-Apr-2024 15:11 800536 libcoq-mtac2_1.4+8.19-1_riscv64.deb 28-Apr-2024 15:47 800540 libcoq-mtac2_1.4+8.19-1_s390x.deb 28-Apr-2024 15:21 800176