Welcome to mirror.sh.com.tr
This server is located at Istanbul, Turkey, and is running on a 10GE connection with approximately 5 TB storage.
Index of /ubuntu/ubuntu/pool/universe/c/coq-highschoolgeometry/
Index of /ubuntu/ubuntu/pool/universe/c/coq-highschoolgeometry/
../
coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 11-Aug-2015 20:18 2568
coq-highschoolgeometry_8.4+20150620-1.dsc 11-Aug-2015 20:18 1941
coq-highschoolgeometry_8.4+20150620-1_all.deb 11-Aug-2015 22:59 1M
coq-highschoolgeometry_8.4+20150620.orig.tar.gz 11-Aug-2015 20:18 135K