#20107: Add optional gap3_jm package
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.1
Component: packages: | Resolution:
optional | Merged in:
Keywords: | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: u/stumpc5/20107 | 5483a58699784651d5fd47a633a68aed04f71cf1
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Description changed by stumpc5:
Old description:
> We have been trying to have an optional GAP3 package for a while now.
> Instead of the official GAP3, we instead use a forked package
> [https://webusers.imj-prg.fr/~jean.michel/gap3/ gap3_jm] which has
> regularly been updated.
>
> Previously, this was made a Sage package (#8906) but it contained
> binaries, so it was removed again (#19164).
>
> I removed all binaries, and prepared a new tarball at
> `https://drive.google.com/file/d/0B1POEh8bhq1fLXdfTEZkZjVLOGs/view?usp=sharing`.
New description:
We have been trying to have an optional GAP3 package for a while now.
Instead of the official GAP3, we instead use a forked package
[https://webusers.imj-prg.fr/~jean.michel/gap3/ gap3_jm] which has
regularly been updated.
Previously, this was made a Sage package (#8906) but it contained
binaries, so it was removed again (#19164).
I removed all binaries, and prepared a new tarball at
https://drive.google.com/file/d/0B1POEh8bhq1fLXdfTEZkZjVLOGs/view?usp=sharing.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/20107#comment:22>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
