sage: 8.9.beta4 -> 8.9.beta5
This commit is contained in:
parent
f6a1fe64eb
commit
ddd3faf08e
@ -10,14 +10,14 @@
|
||||
# all get the same sources with the same patches applied.
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "8.9.beta4";
|
||||
version = "8.9.beta5";
|
||||
pname = "sage-src";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "sagemath";
|
||||
repo = "sage";
|
||||
rev = version;
|
||||
sha256 = "0vvvip5xx0f7h7w0nv82dfkm7jgs79cibb8x2yx7azdc0v7zws69";
|
||||
sha256 = "1nysal4h108clrf08l8wax25q3agh74l4l327vwm93z9k9c2i6i8";
|
||||
};
|
||||
|
||||
# Patches needed because of particularities of nix or the way this is packaged.
|
||||
@ -57,14 +57,7 @@ stdenv.mkDerivation rec {
|
||||
# Since sage unfortunately does not release bugfix releases, packagers must
|
||||
# fix those bugs themselves. This is for critical bugfixes, where "critical"
|
||||
# == "causes (transient) doctest failures / somebody complained".
|
||||
bugfixPatches = [
|
||||
(fetchpatch {
|
||||
name = "no-qqbar-timeout-check.patch";
|
||||
url = "https://git.sagemath.org/sage.git/patch?id=d5105b625060d4b2a9cfe9cee4316d8b7c96ea46";
|
||||
revert = true;
|
||||
sha256 = "10dm0yjxdydf1wch5b7gkkkzrc8c8d5hlyascvb9r5pkyr0ak947";
|
||||
})
|
||||
];
|
||||
bugfixPatches = [ ];
|
||||
|
||||
# Patches needed because of package updates. We could just pin the versions of
|
||||
# dependencies, but that would lead to rebuilds, confusion and the burdons of
|
||||
@ -95,14 +88,6 @@ stdenv.mkDerivation rec {
|
||||
sha256 = "0b9293v73wb4x13wv5zwyjgclc01zn16msccfzzi6znswklgvddp";
|
||||
stripLen = 1;
|
||||
})
|
||||
|
||||
# https://trac.sagemath.org/ticket/26932
|
||||
(fetchSageDiff {
|
||||
name = "givaro-4.1.0_fflas-ffpack-2.4.0_linbox-1.6.0.patch";
|
||||
base = "8.8.beta4";
|
||||
rev = "c11d9cfa23ff9f77681a8f12742f68143eed4504";
|
||||
sha256 = "0xzra7mbgqvahk9v45bjwir2mqz73hrhhy314jq5nxrb35ysdxyi";
|
||||
})
|
||||
];
|
||||
|
||||
patches = nixPatches ++ bugfixPatches ++ packageUpgradePatches;
|
||||
|
Loading…
x
Reference in New Issue
Block a user