+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
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
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
>