diff options
author | Will Dietz <github@wdtz.org> | 2019-02-12 07:31:30 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-12 07:31:30 -0600 |
commit | 6e2da120c9d039556e9cf2d3ef6890ff97fa354b (patch) | |
tree | 1a74ef09455f60b28a082396a5ccf17bd933f806 /pkgs/development/libraries | |
parent | a4c9e42e5c9bca490c250554d29c1a41d9c8b66b (diff) | |
parent | b64024e70ce759e4ff2b531c8ed720a1b874f533 (diff) | |
download | nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar.gz nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar.bz2 nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar.lz nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar.xz nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.tar.zst nixpkgs-6e2da120c9d039556e9cf2d3ef6890ff97fa354b.zip |
Merge pull request #55020 from dtzWill/update/mpfr-4.0.2
mpfr: 4.0.1 -> 4.0.2
Diffstat (limited to 'pkgs/development/libraries')
-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 ea94a55a619..e32c83af8a7 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" ]; |