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 Index of /ubuntu-ports/pool/universe/c/coq-highschoolgeometry/

Index of /ubuntu-ports/pool/universe/c/coq-highschoolgeometry/

../
coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 11-Aug-2015 17:18                2568
coq-highschoolgeometry_8.4+20150620-1.dsc          11-Aug-2015 17:18                1941
coq-highschoolgeometry_8.4+20150620-1_all.deb      11-Aug-2015 19:59             1473866
coq-highschoolgeometry_8.4+20150620.orig.tar.gz    11-Aug-2015 17:18              137848
powered by nginx