mpfr soname bump in rawhide

Hello, mpfr-3.0.0 is now build to rawhide branch and soname is bumped to 4.0.0 there. MPFR 3.0.0 is binary incompatible with previous versions and also is not completely API compatible. The most important changes from versions 2.4.* to version 3.0.0 * MPFR is now distributed under the GNU Lesser General Public License version 3 or later (LGPL v3+). * Rounding modes GMP_RNDx are now MPFR_RNDx (GMP_RNDx kept for compatibility). * A new rounding mode (MPFR_RNDA) is available to round away from zero. * Functions mpfr_random and mpfr_random2 have been removed. * mpfr_get_f and mpfr_get_z now return a ternary value. * a lot of new functions full list of changes is on: http://www.mpfr.org/mpfr-current/#download The packages which depends on mpfr should be rebuild against the new versio. The list is: avr-gcc CGAL gappa gcc genius ghdl gretl libfplll libmpc Macaulay2 mingw32 rasqal seed Ivana Hutarova Varekova