CVS: cvs.openbsd.org: ports

[Christian Weisgerber]

CVSROOT:        /cvs
Module name:    ports
Changes by:     na...@cvs.openbsd.org   2023/01/29 13:37:11

Modified files:
        devel/mpfr     : Makefile distinfo 

Log message:
devel/mpfr: update to 4.2.0, which has many new functions