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

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