Timo Kaufmann b223662ad1 sage: 8.0 -> 8.1, fix sandbox build ... The sandboxed build was failing, because it relied heavily on /usr/bin/env. This is fixed with a lot of shebang patching (both to system packages and to sage-internal packages).		2018-01-26 14:42:24 +01:00
..
default.nix	sage: 8.0 -> 8.1, fix sandbox build	2018-01-26 14:42:24 +01:00
env.patch
fetch-mirrors.sh
patchSageShebangs.sh	sage: 8.0 -> 8.1, fix sandbox build	2018-01-26 14:42:24 +01:00
shebangs.patch	sage: 8.0 -> 8.1, fix sandbox build	2018-01-26 14:42:24 +01:00
spkg-giac.patch
spkg-git.patch
spkg-python.patch	sage: 8.0 -> 8.1, fix sandbox build	2018-01-26 14:42:24 +01:00
spkg-singular.patch