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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 gap-gdat_4r8p5-2.dif..> 2018-12-28 22:57  5.5K  
 gap-gdat_4r8p5-2.dsc    2018-12-28 22:57  1.9K  
 gap-gdat_4r8p5.orig...> 2016-10-24 00:03   28M  
 gap-prim-groups_4r8p..> 2018-12-28 22:57  7.0M  
 gap-small-groups-ext..> 2018-12-28 22:57   15M  
 gap-small-groups_4r8..> 2018-12-28 22:57  3.5M  
 gap-trans-groups_4r8..> 2018-12-28 22:57  3.0M