[crux-commits] ports/core (3.5): libmpfr: update to 4.0.2