../ coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 12-Aug-2015 01:18 2568 coq-highschoolgeometry_8.4+20150620-1.dsc 12-Aug-2015 01:18 1941 coq-highschoolgeometry_8.4+20150620-1_all.deb 12-Aug-2015 03:59 1473866 coq-highschoolgeometry_8.4+20150620.orig.tar.gz 12-Aug-2015 01:18 137848