diff --git a/pkgs/development/libraries/gmp/default.nix b/pkgs/development/libraries/gmp/default.nix index e414a5f2a734..e2f8a900bda3 100644 --- a/pkgs/development/libraries/gmp/default.nix +++ b/pkgs/development/libraries/gmp/default.nix @@ -1,11 +1,11 @@ {stdenv, fetchurl, m4, cxx ? true}: stdenv.mkDerivation rec { - name = "gmp-5.0.0"; + name = "gmp-5.0.1"; src = fetchurl { url = "mirror://gnu/gmp/${name}.tar.bz2"; - sha256 = "0kwqhyvw48yzxjp29c721m9v498115dh6li9adk7b84mbh7gv2gh"; + sha256 = "1yrr14l6vvhm1g27y8nb3c75j0i4ii4k1gw7ik08safk3zq119m2"; }; buildNativeInputs = [m4]; 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 ];