../ coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 11-Aug-2015 04:21 2568 coq-highschoolgeometry_8.4+20150620-1.dsc 11-Aug-2015 04:21 1941 coq-highschoolgeometry_8.4+20150620-1_all.deb 11-Aug-2015 04:21 1473844 coq-highschoolgeometry_8.4+20150620.orig.tar.gz 11-Aug-2015 04:21 137848