Copyright for mpfr4 source package in Huanghe V3.0