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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 gap-gdat_4r8p5-2.dsc                   2018-12-28 19:57  1.9K  
 gap-gdat_4r8p5-2.diff.gz               2018-12-28 19:57  5.5K  
 gap-trans-groups_4r8p5-2_all.deb       2018-12-28 19:57  3.0M  
 gap-small-groups_4r8p5-2_all.deb       2018-12-28 19:57  3.5M  
 gap-prim-groups_4r8p5-2_all.deb        2018-12-28 19:57  7.0M  
 gap-small-groups-extra_4r8p5-2_all.deb 2018-12-28 19:57   15M  
 gap-gdat_4r8p5.orig.tar.gz             2016-10-23 22:03   28M