MarsSeed [1] filed a deletion request for petsc-free+opts [2]: Badly configured PKGBUILD, fails execution. VCS package in disguise, with wrong pkgname.
Also, please refrain from using the '+' sign in pkgname. While it is allowed by pacman, AURweb and AUR helpers had some issues with that character earlier. (It is very rarely used, so support for it is not much tested I guess.) If you want to maintain this package, please name it properly, like 'petsc-free-plus-opts-git', and also don't add a split package with a '-bin' suffix (petsc-doc-bin). Make the docs package reflect the pkgbase name. (Using the previous example: petsc-free-plus-opts-doc- git). [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/petsc-free+opts/
