On 3 August 2011 18:58, rafael ff1 <[email protected]> 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
