../ coq-highschoolgeometry_8.4+20150620-1.debian.ta..> 21-Mar-2025 18:13 2568 coq-highschoolgeometry_8.4+20150620-1.dsc 21-Mar-2025 18:13 1941 coq-highschoolgeometry_8.4+20150620-1_all.deb 21-Mar-2025 18:13 1473866 coq-highschoolgeometry_8.4+20150620.orig.tar.gz 21-Mar-2025 18:13 137848