[crux-commits] ports/core (3.8): libmpfr: update to 4.2.1