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


../
gap-gdat_4r8p5-2.diff.gz                           28-Dec-2018 19:57                5592
gap-gdat_4r8p5-2.dsc                               28-Dec-2018 19:57                1900
gap-gdat_4r8p5.orig.tar.gz                         23-Oct-2016 21:03            29524702
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