#20382: Replace is_package_installed with Features
-------------------------------------+-------------------------------------
Reporter: saraedum | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-7.2
Component: build | Resolution:
Keywords: | Merged in:
Authors: Julian Rüth | Reviewers: Nicolas M. Thiéry,
| ...
Report Upstream: N/A | Work issues: reorder classes in
| sage.misc.feature
Branch: | Commit:
u/saraedum/replace_is_package_installed_with_features|
074a31801df66eb96116e3f59ab6b2d0e42bd951
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by git):
* commit: ef9cf7d1eacb9195ab41611c2f05e634a1bf3d03 =>
074a31801df66eb96116e3f59ab6b2d0e42bd951
Comment:
Branch pushed to git repo; I updated commit sha1. New commits:
||[http://git.sagemath.org/sage.git/commit/?id=095b40264690d0d87897cc25c7e8aea00e357682
095b402]||{{{fixed incorrect import statement}}}||
||[http://git.sagemath.org/sage.git/commit/?id=670a3e22ba7c50484b8f01959a463e764071293c
670a3e2]||{{{Merge branch
'u/saraedum/replace_is_package_installed_with_features' of
git://trac.sagemath.org/sage into
t/20382/replace_is_package_installed_with_features}}}||
||[http://git.sagemath.org/sage.git/commit/?id=6f5dc211b7ef3754de2d04d25d4eecd4d3d3e98e
6f5dc21]||{{{Completed implementation of CremonaDatabase feature}}}||
||[http://git.sagemath.org/sage.git/commit/?id=074a31801df66eb96116e3f59ab6b2d0e42bd951
074a318]||{{{Implement SmallGroupsLibrary feature}}}||
--
Ticket URL: <https://trac.sagemath.org/ticket/20382#comment:32>
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.
