[aur-general] Deletion Request

rafael ff1 rafael.f.f1 at gmail.com
Wed Aug 3 12:58:59 EDT 2011

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.


-- Rafael

More information about the aur-general mailing list