mpfr: 4.1.1 -> 4.2.0

Changes: https://www.mpfr.org/mpfr-current/#changes
While at it dropped upstreamed patch.
This commit is contained in:
Sergei Trofimovich 2023-01-08 20:59:24 +00:00
parent 87ebf1654e
commit 0b7d7d828d

View file

@ -11,7 +11,7 @@
# files.
stdenv.mkDerivation rec {
version = "4.1.1";
version = "4.2.0";
pname = "mpfr";
src = fetchurl {
@ -19,16 +19,9 @@ stdenv.mkDerivation rec {
"https://www.mpfr.org/${pname}-${version}/${pname}-${version}.tar.xz"
"mirror://gnu/mpfr/${pname}-${version}.tar.xz"
];
hash = "sha256-/9GVvVZ9uv/DuYsj/QCq0FN2gMmJYXHkT+P/eeKKwz0=";
hash = "sha256-BqN43xNQEkjBsttaqXeiyBJq6Emp2be+JUb7Spwm2ZM=";
};
patches = [
(fetchurl { # https://gitlab.inria.fr/mpfr/mpfr/-/issues/1
url = "https://www.mpfr.org/mpfr-4.1.1/patch01";
hash = "sha256-gKPCcJviGsqsEqnMmYiNY6APp3+3VXbyBf6LoZhP9Eo=";
})
];
outputs = [ "out" "dev" "doc" "info" ];
strictDeps = true;