Re: [aur-general] please delete petsc-openmpi

[Evangelos Foutras]

On Sun, Aug 19, 2012 at 6:52 AM, Myles English <mylesengl...@gmail.com> wrote:
>
> petsc-openmpi : https://aur.archlinux.org/packages.php?ID=40071

Removed, thanks.