Index: 5.1.0/Makefile
===================================================================
--- 5.1.0/Makefile (revision 417)
+++ 5.1.0/Makefile (revision 418)
@@ -61,7 +61,7 @@
SOURCE_REQUIRES = sources/GNU/gawk
REQUIRES = libs/readline/8.2
-REQUIRES += libs/mpfr/4.1.0
+REQUIRES += libs/mpfr/4.2.1
# ======= __END_OF_REQUIRES__ =======