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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gap-gdat_4r8p5-2.diff.gz5.5 KiB2018-Dec-28 19:57
gap-gdat_4r8p5-2.dsc1.9 KiB2018-Dec-28 19:57
gap-gdat_4r8p5.orig.tar.gz28.2 MiB2016-Oct-23 21:03
gap-prim-groups_4r8p5-2_all.deb7.0 MiB2018-Dec-28 19:57
gap-small-groups-extra_4r8p5-2_all.deb15.1 MiB2018-Dec-28 19:57
gap-small-groups_4r8p5-2_all.deb3.5 MiB2018-Dec-28 19:57
gap-trans-groups_4r8p5-2_all.deb3.0 MiB2018-Dec-28 19:57