mpfr: 4.0.1 -> 4.0.2

https://www.mpfr.org/mpfr-4.0.2/
This commit is contained in:
Will Dietz 2019-01-31 17:54:03 -06:00
parent 2183d3167e
commit b64024e70c

View File

@ -1,12 +1,15 @@
{ stdenv, fetchurl, gmp }: { stdenv, fetchurl, gmp }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "4.0.1"; version = "4.0.2";
name = "mpfr-${version}"; name = "mpfr-${version}";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/mpfr/${name}.tar.xz"; urls = [
sha256 = "0vp1lrc08gcmwdaqck6bpzllkrykvp06vz5gnqpyw0v3h9h4m1v7"; #"https://www.mpfr.org/${name}/${name}.tar.xz"
"mirror://gnu/mpfr/${name}.tar.xz"
];
sha256 = "12m3amcavhpqygc499s3fzqlb8f2j2rr7fkqsm10xbjfc04fffqx";
}; };
outputs = [ "out" "dev" "doc" "info" ]; outputs = [ "out" "dev" "doc" "info" ];