diff options
author | Antonio Rojas | 2015-06-08 21:12:09 +0200 |
---|---|---|
committer | Antonio Rojas | 2015-06-08 21:12:09 +0200 |
commit | 015f5be486852c06855fb4a3fddc85dbe7e5279d (patch) | |
tree | 0845e04b93e3a266b9b8c3558a5b292ddaa5c997 /package.patch | |
download | aur-015f5be486852c06855fb4a3fddc85dbe7e5279d.tar.gz |
Initial import
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(): + """ |