unikum [1] filed a orphan request for gmp4 [2]: Maintainet not support package. Now this package not include the libgmp.so.3 lib as described in description. [1] https://aur.archlinux.org/account/unikum/ [2] https://aur.archlinux.org/pkgbase/gmp4/