2011/8/8 Maciej Bliziński <maciej at opencsw.org>: > Could you update libmpfr_dev on the buildfarm and make sure that the > newest libgmp_dev is installed too? Please also upgrade libmpfr to the newer version, without the header files (which are now in libmpfr_dev).