diff --git a/libmpfr-4.2.0.p7-patchset.patch b/libmpfr-4.2.0.p9-patchset.patch similarity index 77% rename from libmpfr-4.2.0.p7-patchset.patch rename to libmpfr-4.2.0.p9-patchset.patch index fb90ed5..8684b49 100644 --- a/libmpfr-4.2.0.p7-patchset.patch +++ b/libmpfr-4.2.0.p9-patchset.patch @@ -47,3 +47,17 @@
The document has moved here.