diff options
Diffstat (limited to 'package.patch')
| -rw-r--r-- | package.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/package.patch b/package.patch new file mode 100644 index 000000000000..08ab8a8bde66 --- /dev/null +++ b/package.patch @@ -0,0 +1,11 @@ +--- src/sage/misc/package.py.orig 2014-11-23 15:58:13.000000000 +0100 ++++ src/sage/misc/package.py 2015-01-22 20:32:25.651383902 +0100 +@@ -194,7 +194,7 @@ + sage: is_package_installed('sage') + True + """ +- return any(p.startswith(package) for p in install_package()) ++ return True + + def standard_packages(): + """ |