Index of /ubuntu/pool/universe/g/gap-smallgrp/


../
gap-smallgrp-extra_1.3-1_all.deb                   10-Nov-2018 19:18            12462812
gap-smallgrp_1.3-1.debian.tar.xz                   09-Nov-2018 08:22                6012
gap-smallgrp_1.3-1.dsc                             09-Nov-2018 08:22                1896
gap-smallgrp_1.3-1_all.deb                         10-Nov-2018 19:18             3857692
gap-smallgrp_1.3.orig.tar.bz2                      09-Nov-2018 08:22            15778060