← Retour sur l'intranet Index of /debian/pool/main/g/gap-gdat/

Index of /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     28M
gap-prim-groups_4r8p5-2_all.deb                    28-Dec-2018 19:57      7M
gap-small-groups-extra_4r8p5-2_all.deb             28-Dec-2018 19:57     15M
gap-small-groups_4r8p5-2_all.deb                   28-Dec-2018 19:57      3M
gap-trans-groups_4r8p5-2_all.deb                   28-Dec-2018 19:57      3M