mpfr: 3.1.3 -> 3.1.6 (bugfix)

There's also 4.0.0, but I'd leave that for later.
This commit is contained in:
Vladimír Čunát 2018-02-03 10:16:09 +01:00
parent 193ebca1e5
commit f8865b1181
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -1,17 +1,15 @@
{ stdenv, fetchurl, gmp { stdenv, fetchurl, gmp
, buildPlatform, hostPlatform , hostPlatform
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "mpfr-3.1.3"; name = "mpfr-3.1.6";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/mpfr/${name}.tar.bz2"; url = "mirror://gnu/mpfr/${name}.tar.xz";
sha256 = "1z8akfw9wbmq91vrx04bw86mmnxw2sw5qm5cr8ix5b3w2mcv8fzn"; sha256 = "0l598h9klpgkz2bp0rxiqb90mkqh9f2f81n5rpy191j00hdaqqks";
}; };
patches = [ ./upstream.patch ];
outputs = [ "out" "dev" "doc" "info" ]; outputs = [ "out" "dev" "doc" "info" ];
# mpfr.h requires gmp.h # mpfr.h requires gmp.h