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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]gap-gdat_4r8p5-2.dsc2018-12-28 20:57 1.9K 
[   ]gap-gdat_4r8p5-2.diff.gz2018-12-28 20:57 5.5K 
[   ]gap-trans-groups_4r8p5-2_all.deb2018-12-28 20:57 3.0M 
[   ]gap-small-groups_4r8p5-2_all.deb2018-12-28 20:57 3.5M 
[   ]gap-prim-groups_4r8p5-2_all.deb2018-12-28 20:57 7.0M 
[   ]gap-small-groups-extra_4r8p5-2_all.deb2018-12-28 20:57 15M 
[   ]gap-gdat_4r8p5.orig.tar.gz2016-10-23 23:03 28M 

Apache/2.4.62 (Debian) Server at debian.redimadrid.es Port 443