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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 gap-gdat_4r8p5-2.dif..> 28-Dec-2018 19:57  5.5K  
 gap-gdat_4r8p5-2.dsc    28-Dec-2018 19:57  1.9K  
 gap-gdat_4r8p5.orig...> 23-Oct-2016 21:03   28M  
 gap-prim-groups_4r8p..> 28-Dec-2018 19:57  7.0M  
 gap-small-groups-ext..> 28-Dec-2018 19:57   15M  
 gap-small-groups_4r8..> 28-Dec-2018 19:57  3.5M  
 gap-trans-groups_4r8..> 28-Dec-2018 19:57  3.0M