../ gap-smallgrp-extra_1.3-1_all.deb 12-Nov-2018 12:00 12462740 gap-smallgrp_1.3-1.debian.tar.xz 12-Nov-2018 12:00 6012 gap-smallgrp_1.3-1.dsc 12-Nov-2018 12:00 1896 gap-smallgrp_1.3-1_all.deb 12-Nov-2018 12:00 3857800 gap-smallgrp_1.3.orig.tar.bz2 12-Nov-2018 12:00 15778060