lib32-gmp-dev [1] is outdated for a thousand years and the maintainer seems to have forgotten this poor. Also, this resource is already provided by another package (lib32-gmp4).
[1] https://aur.archlinux.org/packages.php?ID=28554 Please delete lib32-gmp-dev. Thanks, -- Rafael
