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