On Saturday, February 17, 2018 at 11:05:49 PM UTC, François Bissey wrote: > > > > > On 18/02/2018, at 12:01, Dima Pasechnik <dim...@gmail.com <javascript:>> > wrote: > > > > GAP 4.9 (a release candidate, released 1st Feb) has smallgrps and > transgrps, two GAP packages/libraries which are extremely useful, with > GPL-compatible licenses. In the past (and up to current GAP 4.8) > > they had licenses non-GPL compatible licenses, preventing them from > being made standard. > > > > It's about 60MB extra, but it would really make it possible to > distribute an essentially standard configuration of GAP, reducing the > chances of various mishaps, and easing the support a lot. > > > > Thus I'm calling for a vote on this: to make database_gap standard as > soon as license permits (i.e. as soon as we update to GAP 4.9). > > > > I am all for including those database as standard ASAP. > > However currently it is put in a separate package from the main gap > spkg by sage devs. So rather than making database_gap standard I say > just stop splitting it from the main gap install. > > well, yes --- but this is more of a detail. No vote is needed to merge standard packages, I suppose.
> François > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.