Index of /dev/pool/main/g/gap-smallgrp/


../
gap-smallgrp-extra_1.5.1-1_all.deb                 08-Nov-2022 23:04            12464436
gap-smallgrp_1.5.1-1.debian.tar.xz                 08-Nov-2022 22:12                6520
gap-smallgrp_1.5.1-1.dsc                           08-Nov-2022 22:12                1924
gap-smallgrp_1.5.1-1_all.deb                       08-Nov-2022 23:04             3871604
gap-smallgrp_1.5.1.orig.tar.gz                     08-Nov-2022 22:12            20121936