diff --git a/core/mpfr/checksums b/core/mpfr/checksums index 1b9bdf6e..cfd4f3f7 100644 --- a/core/mpfr/checksums +++ b/core/mpfr/checksums @@ -1 +1 @@ -edfdb6ce4dc58a7d82021acb2f9c33a61e31d48046dcea94c256128046c34e0e38 +4e95c8d9eda9a18d01dd3ac5879437c51aa0357b6feb997aa4aeb30762a903e11e diff --git a/core/mpfr/version b/core/mpfr/version index 7b6aadfa..0cdd4873 100644 --- a/core/mpfr/version +++ b/core/mpfr/version @@ -1 +1 @@ -4.1.1 1 +4.2.0 1