diff options
Diffstat (limited to 'package.patch')
-rw-r--r-- | package.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/package.patch b/package.patch index 49c469563d59..c9033b625e99 100644 --- a/package.patch +++ b/package.patch @@ -1,14 +1,14 @@ --- 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 -@@ -328,7 +328,7 @@ +@@ -332,7 +332,7 @@ Use the framework provided by :mod:`sage.features` to check whether a library is installed and functional. """ - return any(p.split('-')[0] == package for p in installed_packages(exclude_pip)) + return True + def package_versions(package_type, local=False): - r""" --- src/sage_setup/optional_extension.py.orig 2016-10-19 18:35:10.092577510 +0000 +++ src/sage_setup/optional_extension.py 2016-10-19 18:38:13.514765366 +0000 @@ -21,8 +21,6 @@ |