[crux-commits] ports/core (3.7): libmpfr: update to 4.2.0