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/
- [aur-requests] [PRQ#442] Orphan Request for gmp4 notify
