File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
gap-gdat_4r8p5-2.diff.gz | 5.5 KiB | 2018-Dec-28 20:57 |
gap-gdat_4r8p5-2.dsc | 1.9 KiB | 2018-Dec-28 20:57 |
gap-gdat_4r8p5.orig.tar.gz | 28.2 MiB | 2016-Oct-23 22:03 |
gap-prim-groups_4r8p5-2_all.deb | 7.0 MiB | 2018-Dec-28 20:57 |
gap-small-groups-extra_4r8p5-2_all.deb | 15.1 MiB | 2018-Dec-28 20:57 |
gap-small-groups_4r8p5-2_all.deb | 3.5 MiB | 2018-Dec-28 20:57 |
gap-trans-groups_4r8p5-2_all.deb | 3.0 MiB | 2018-Dec-28 20:57 |