/community-staging/coq/
../
PKGBUILD