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