PKGBUILD for coq-flocq