2011/8/8 Maciej Bliziński <maciej at opencsw.org>: > 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). ping?