4 Aug
2011
4 Aug
'11
7:14 a.m.
On 3 August 2011 18:58, rafael ff1 <rafael.f.f1@gmail.com> wrote:
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
Done