Index: Makefile
===================================================================
--- Makefile (revision 417)
+++ 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__ =======