diff options
| author | Will Dietz <w@wdtz.org> | 2019-01-31 17:54:03 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2019-01-31 18:17:58 -0600 |
| commit | b64024e70ce759e4ff2b531c8ed720a1b874f533 (patch) | |
| tree | 39863b1fe081a2f06957035e11d1c4f1a10b9783 /pkgs/development/libraries/mpfr | |
| parent | 2183d3167eda2c3bdaafffb123512873fde46a96 (diff) | |
mpfr: 4.0.1 -> 4.0.2
https://www.mpfr.org/mpfr-4.0.2/
Diffstat (limited to 'pkgs/development/libraries/mpfr')
| -rw-r--r-- | pkgs/development/libraries/mpfr/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/libraries/mpfr/default.nix b/pkgs/development/libraries/mpfr/default.nix index ea94a55a61995..e32c83af8a756 100644 --- a/pkgs/development/libraries/mpfr/default.nix +++ b/pkgs/development/libraries/mpfr/default.nix @@ -1,12 +1,15 @@ { stdenv, fetchurl, gmp }: stdenv.mkDerivation rec { - version = "4.0.1"; + version = "4.0.2"; name = "mpfr-${version}"; src = fetchurl { - url = "mirror://gnu/mpfr/${name}.tar.xz"; - sha256 = "0vp1lrc08gcmwdaqck6bpzllkrykvp06vz5gnqpyw0v3h9h4m1v7"; + urls = [ + #"https://www.mpfr.org/${name}/${name}.tar.xz" + "mirror://gnu/mpfr/${name}.tar.xz" + ]; + sha256 = "12m3amcavhpqygc499s3fzqlb8f2j2rr7fkqsm10xbjfc04fffqx"; }; outputs = [ "out" "dev" "doc" "info" ]; |