Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gap-gdat_4r8p5.orig...> | 2016-10-23 21:03 | 28M | ||
gap-gdat_4r8p5-2.dif..> | 2018-12-28 19:57 | 5.5K | ||
gap-gdat_4r8p5-2.dsc | 2018-12-28 19:57 | 1.9K | ||
gap-prim-groups_4r8p..> | 2018-12-28 19:57 | 7.0M | ||
gap-small-groups-ext..> | 2018-12-28 19:57 | 15M | ||
gap-small-groups_4r8..> | 2018-12-28 19:57 | 3.5M | ||
gap-trans-groups_4r8..> | 2018-12-28 19:57 | 3.0M | ||