[aur-general] Deletion Request

[Lukáš Jirkovský]

On 3 August 2011 18:58, rafael ff1 <rafael.f.f1 at 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