diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/ppl')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/ppl/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/development/libraries/ppl/default.nix b/nixpkgs/pkgs/development/libraries/ppl/default.nix index a51db09db860..f1c93e0fa7c7 100644 --- a/nixpkgs/pkgs/development/libraries/ppl/default.nix +++ b/nixpkgs/pkgs/development/libraries/ppl/default.nix @@ -12,8 +12,8 @@ stdenv.mkDerivation { }; patches = [(fetchpatch { - name = "ppl.patch"; - url = "http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=patch;h=c39f6a07b51f89e365b05ba4147aa2aa448febd7"; + name = "clang5-support.patch"; + url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ppl/patches/clang5-support.patch?h=9.2"; sha256 = "1zj90hm25pkgvk4jlkfzh18ak9b98217gbidl3731fdccbw6hr87"; })]; |