diff options
author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-06-14 21:44:38 +0000 |
---|---|---|
committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2010-06-14 21:44:38 +0000 |
commit | e31361657c1296a62a40db296e33a27a83ffd2db (patch) | |
tree | 3f82216307b15ace8b6187405929fb12789ae65d /pkgs/development/libraries/ppl | |
parent | d30ede1a13642bffce7643f8f32be5c58f8b4f44 (diff) | |
download | nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar.gz nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar.bz2 nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar.lz nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar.xz nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.tar.zst nixlib-e31361657c1296a62a40db296e33a27a83ffd2db.zip |
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
Diffstat (limited to 'pkgs/development/libraries/ppl')
-rw-r--r-- | pkgs/development/libraries/ppl/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/ppl/default.nix b/pkgs/development/libraries/ppl/default.nix index ed4cc7f24978..d681fa44cf95 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 ]; |