Updating gmp and ppl (this last, mandatory, to match the gmp version).

I chose a snapshot of the future 0.11 ppl (that had to be released one or two
months ago, I think), waiting for the 0.11 to be frozen. Only 0.11 supports
building with gmp 5.x



svn path=/nixpkgs/branches/stdenv-updates/; revision=22268

1 files changed, 3 insertions, 3 deletions

diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix
index ed4cc7f2497..d681fa44cf9 100644
--- a/pkgs/development/libraries/ppl/default.nix
+++ b/pkgs/development/libraries/ppl/default.nix
@@ -1,12 +1,12 @@
 { fetchurl, stdenv, gmpxx, perl, gnum4 }:
 
-let version = "0.10.2"; in
+let version = "0.11pre24"; in
   stdenv.mkDerivation rec {
     name = "ppl-${version}";
 
     src = fetchurl {
-      url = "ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/${name}.tar.bz2";
-      sha256 = "0xz2f3lny4l9ji1ilg6pxv34sh4cbh535cnm68smynzp01wgnh7y";
+      url = "ftp://ftp.cs.unipr.it/pub/ppl/snapshots/${version}/${name}.tar.bz2";
+      sha256 = "1w6v5wxj13mnp311aaglhdyzxlx13g84054bsp7sym3ryjjyg0gx";
     };
 
     buildInputs = [ perl gnum4 ];