This machine mirrors various open-source projects.
20 Gbit/s uplink.
If there are any issues or you want another project mirrored, please contact
mirror-service -=AT=- netcologne DOT de !
../ coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 10-Aug-2015 20:21 2568 coq-highschoolgeometry_8.4+20150620-1.dsc 10-Aug-2015 20:21 1941 coq-highschoolgeometry_8.4+20150620-1_all.deb 10-Aug-2015 20:21 1M coq-highschoolgeometry_8.4+20150620.orig.tar.gz 10-Aug-2015 20:21 135K