#16416: provide AtlasRep GAP package to fix TomLib
-------------------------------------+-------------------------------------
Reporter: dimpase | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: packages: | Resolution:
optional | Merged in:
Keywords: | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: u/dimpase/develop | e7bd14643f26b2c6fb70dbf85b9f83eba805dca2
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by was):
I got nowhere (on Ubuntu 14.04 with sage-6.2):
{{{
$ sage -i
http://boxen.math.washington.edu/home/dima/packages/gap_packages-4.7.4.tar.bz2
Attempting to download package gap_packages-4.7.4.tar.bz2
>>> Trying to download
http://boxen.math.washington.edu/home/dima/packages/gap_packages-4.7.4.tar.bz2
[............................................................]
gap_packages-4.7.4.tar.bz2
====================================================
Extracting package
/usr/local/sage/sage-6.2.rc0/upstream/gap_packages-4.7.4.tar.bz2
-rw-r--r-- 1 salvus salvus 32177447 Jun 1 02:06
/usr/local/sage/sage-6.2.rc0/upstream/gap_packages-4.7.4.tar.bz2
Finished extraction
/usr/local/sage/sage-6.2.rc0/src/bin/sage-spkg: line 594: cd:
gap_packages-4.7.4.tar.bz2: No such file or directory
Error: after extracting, the directory gap_packages-4.7.4.tar.bz2 does not
exist
}}}
This is probably just another instance of 7-year old functionality of Sage
conflicting with "the git transition"...
--
Ticket URL: <http://trac.sagemath.org/ticket/16416#comment:7>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
