[sage-devel] Re: merging gap_packages and database_gap spkgs into gap spkg

2018-12-16 Thread Travis Scrimshaw
+1 On Saturday, December 15, 2018 at 8:09:49 PM UTC+10, Dima Pasechnik wrote: > > The present design with two optional packages gap_packages and > database_gap was dictated in the 1st place by copyright issues with > their contents, preventing them from being standard. > > Since GAP release

Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg

2018-12-16 Thread David Joyner
On Sat, Dec 15, 2018 at 5:09 AM Dima Pasechnik wrote: > The present design with two optional packages gap_packages and > database_gap was dictated in the 1st place by copyright issues with > their contents, preventing them from being standard. > > Since GAP release 4.9, all these issues have

[sage-devel] Re: merging gap_packages and database_gap spkgs into gap spkg

2018-12-16 Thread Simon King
Hi Dima, I'm installing database_gap and gap_packages anyway, so, I am +1 to making them standard and I am happy that the licence problems have finally been resolved. Best regards, Simon On 2018-12-15, Dima Pasechnik wrote: > The present design with two optional packages gap_packages and >