devnulled [1] filed a deletion request for openpolicyagent-bin [2]: This package is a duplicate of the `opa` package. [1] https://aur.archlinux.org/account/devnulled/ [2] https://aur.archlinux.org/pkgbase/openpolicyagent-bin/