Tweak games/ladder version 1.00_1
Tweak devel/libdasm version 1.5_1
Update math/mpfr to version 3.1.2