carstene1ns [1] filed a deletion request for lib32-mpfr-dev [2]: outdated and broken, apparently not needed since 6 years... [1] https://aur.archlinux.org/account/carstene1ns/ [2] https://aur.archlinux.org/pkgbase/lib32-mpfr-dev/