MarsSeed [1] filed a deletion request for lib32-gmp4 [2]: Cleanup after the deletion of mozart1-bin (PRQ#50246) (broken, unused foreign binary from 2008).
lib32-gmp4: - legacy version pkg from 2016, - only consumer was mozart1-bin. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/lib32-gmp4/
