[crux-commits] ports/core (3.0): libmpfr: update to 3.1.2-p3