Vladimír Čunát 2022-12-03 15:45:00 +01:00
parent ca98db29b3
commit cfe4a8d870
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -11,7 +11,7 @@
# files.
stdenv.mkDerivation rec {
version = "4.1.1";
version = "4.1.1_p1";
pname = "mpfr";
src = fetchurl {
@ -22,6 +22,13 @@ stdenv.mkDerivation rec {
hash = "sha256-/9GVvVZ9uv/DuYsj/QCq0FN2gMmJYXHkT+P/eeKKwz0=";
};
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;