Index of /debian-ports/pool/main/g/gap-gdat/


../
gap-prim-groups_4r8p5-2_all.deb                    28-Dec-2018 19:57             7341100
gap-small-groups-extra_4r8p5-2_all.deb             28-Dec-2018 19:57            15879684
gap-small-groups_4r8p5-2_all.deb                   28-Dec-2018 19:57             3656012
gap-trans-groups_4r8p5-2_all.deb                   28-Dec-2018 19:57             3125584