4 Aug
2011
4 Aug
'11
2:49 a.m.
On Thu, Aug 4, 2011 at 12:58 AM, 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
A thousand? Yet another reason Arch is the best, we pre-date computers (and electricity, for that matter).