#18407: Fix standard_packages(), optional_packages(), and
experimental_packages()
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_review
Type: | Milestone: sage-6.7
defect | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
distribution | Work issues:
Keywords: | Commit:
Authors: | c400ee6b177b5de2bee7a4467011fa3a75110f27
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
public/18407 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by vdelecroix):
Is it disjoint from the bash scripts that we have
{{{
$ sage -standard
Using Sage Server http://www.sagemath.org/packages
Standard packages:
atlas-3.10.1.p7 ........................ installed version: 3.10.2
boehm_gc-7.2d.p0 ....................... already installed
boost_cropped-1.52.0 ................... already installed
...
tachyon-0.98.9.p5 ...................... already installed
zlib-1.2.8.p0 .......................... already installed
zn_poly-0.9.p11 ........................ already installed
$ sage -optional
Optional packages:
4ti2-1.6.2 ............................. not installed
PyQt_x11-4.9.1.p0 ...................... not installed
TOPCOM-0.17.4 .......................... not installed
autotools-20121217 ..................... not installed
...
trac-0.11.5.p0 ......................... not installed
valgrind-3.8.1.p0 ...................... not installed
zeromq-3.2.0.p0 ........................ installed version: 4.0.5
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18407#comment:3>
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.
