mpfr: 4.2.0p12

2023-08-21 18:58:50 -05:00 · 2023-08-21 18:58:50 -05:00 · 7681852d11
parent eb564d2c25
commit 7681852d11
5 changed files with 1868 additions and 1 deletions
--- a/core/mpfr/build
+++ b/core/mpfr/build
@ -1,5 +1,8 @@
 #!/bin/sh -e

+rm -f PATCHES
+patch -p1 < cumulative.patch
+
 ./configure \
    --prefix=/usr \
    --enable-shared \
--- a/core/mpfr/checksums
+++ b/core/mpfr/checksums
@ -1 +1,2 @@
 4e95c8d9eda9a18d01dd3ac5879437c51aa0357b6feb997aa4aeb30762a903e11e
+d96e00279cb9170e8e6b7665b4e29f6526d0e0e151b790614c96e1e3d105431755
--- a/core/mpfr/patches/cumulative.patch
+++ b/core/mpfr/patches/cumulative.patch
--- a/core/mpfr/sources
+++ b/core/mpfr/sources
@ -1 +1,2 @@
 https://www.mpfr.org/mpfr-current/mpfr-4.2.0.tar.xz
+patches/cumulative.patch
--- a/core/mpfr/version
+++ b/core/mpfr/version
@ -1 +1 @@
-4.2.0 1
+4.2.0p12 1