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-equations_1.3-8.16-2build2.debian.tar.xz 17-Feb-2023 07:29 2316 coq-equations_1.3-8.16-2build2.dsc 17-Feb-2023 07:29 2165 coq-equations_1.3-8.16.orig.tar.gz 06-Nov-2022 03:17 1097638 coq-equations_1.3-8.17-2build2.debian.tar.xz 04-Sep-2023 13:25 2700 coq-equations_1.3-8.17-2build2.dsc 04-Sep-2023 13:25 2165 coq-equations_1.3-8.17.orig.tar.gz 13-Jun-2023 11:34 1099916 coq-equations_1.3-8.18-1build3.debian.tar.xz 08-Apr-2024 07:57 2848 coq-equations_1.3-8.18-1build3.dsc 08-Apr-2024 07:57 2244 coq-equations_1.3-8.18.orig.tar.gz 23-Dec-2023 17:16 1102730 coq-equations_1.3-8.19-1build1.debian.tar.xz 02-May-2024 20:28 2740 coq-equations_1.3-8.19-1build1.dsc 02-May-2024 20:28 2165 coq-equations_1.3-8.19.orig.tar.gz 02-May-2024 11:53 1102843 libcoq-equations_1.3-8.16-2build2_arm64.deb 17-Feb-2023 07:29 1698178 libcoq-equations_1.3-8.16-2build2_armhf.deb 17-Feb-2023 07:29 1623468 libcoq-equations_1.3-8.16-2build2_ppc64el.deb 17-Feb-2023 07:29 1656912 libcoq-equations_1.3-8.16-2build2_riscv64.deb 17-Feb-2023 08:04 1630260 libcoq-equations_1.3-8.16-2build2_s390x.deb 17-Feb-2023 07:29 1668290 libcoq-equations_1.3-8.17-2build2_arm64.deb 04-Sep-2023 14:14 1672122 libcoq-equations_1.3-8.17-2build2_armhf.deb 04-Sep-2023 14:14 1597898 libcoq-equations_1.3-8.17-2build2_ppc64el.deb 04-Sep-2023 14:14 1630916 libcoq-equations_1.3-8.17-2build2_riscv64.deb 04-Sep-2023 14:14 1603512 libcoq-equations_1.3-8.17-2build2_s390x.deb 04-Sep-2023 14:14 1641750 libcoq-equations_1.3-8.18-1build3_arm64.deb 08-Apr-2024 13:14 1664170 libcoq-equations_1.3-8.18-1build3_armhf.deb 08-Apr-2024 13:15 1589368 libcoq-equations_1.3-8.18-1build3_ppc64el.deb 08-Apr-2024 13:15 1619386 libcoq-equations_1.3-8.18-1build3_riscv64.deb 08-Apr-2024 13:15 1615990 libcoq-equations_1.3-8.18-1build3_s390x.deb 08-Apr-2024 13:15 1629644 libcoq-equations_1.3-8.19-1build1_arm64.deb 02-May-2024 23:27 1402858 libcoq-equations_1.3-8.19-1build1_ppc64el.deb 02-May-2024 22:58 1359878 libcoq-equations_1.3-8.19-1build1_riscv64.deb 02-May-2024 23:27 1356298 libcoq-equations_1.3-8.19-1build1_s390x.deb 02-May-2024 22:58 1369746