The official PKGBUILD for Arch Linux users to install Cockatrice - View it on GitHub