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