MarsSeed [1] filed a deletion request for gmp4-static [2]: Not needed, as gmp 6.3 is backward-compatible. Also the current AUR consumer packages, mipsel-ps2-* are long broken and no longer needed (as upstream discontinued those compiler toolchain forks 4 years ago in favor of using the vanilla upstream gnu mipsel cross-compiler for PS2 homebrew). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gmp4-static/