%FILENAME%
coq-8.8.1-3-armv7h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42566264

%ISIZE%
213352448

%MD5SUM%
e1cd9f47879a278bdd553bf22a083b9b

%SHA256SUM%
fcafb6a1a1e21a3fc1a11f293eb8d773b0ae592df702a7e2ae929f82cee5b188

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzK3AACgkQdxk/FSvb5qZx8RAAn9iJ1Cu2HbBl8vOTr+Fd5wETcpwYPaiKugf7B7YnOweBdI9iqxO/TGgwOIDLwEA5yXhm6QId2JV8qo/rXVVwm+VF7b17OmnB1VyrgwuNxBNaI8tDQO84k8ctLxuIQNJgNmir/YIeqI0RAfdO0c65GfBDXa8N5uJvPWDWsvG1YimuJ7qbF/Z5hurIbqrrObPL3obUqrwny4nfbL3UMUONRF5Ul3cxXvWgd9wBtSOX/VsRuPBDvq15LT8evAeDP4OTz98k3aAlnLyNM8n541Q6+uOEb+YTEcC0ZZPs/w4jkrcGEsg6LhtjGjfMPABK6uYRzWO8gQpOPGWoZ/3m9Bk67k3+K5Dd31XzoxxdgNUy+y7cw0wh9hmJggfGG57Y5HZHid9pKdl4AmW3cceWgDT8VohYUhKgdOUDprlpk+RjKZNFRnL9C9xh/pVzLaXMk/GiNhSD3s4ISMFbMAT/EQnSCAUrMvroXltq5k0Fk103aZXM8TJPP4lkUG6A7exXNY/f7T8GW+K4iRxgnSWoycbKFgLMP/2+t2+bLt2tJI4DlghB19yv3XUBJY3qZ28MfLaoNReZr+Jv9KziTuz2XrSYETyHEuBmmbrgCEyAouVjwfIl2VNQreo4Zlonr3F1zyIejMO9HSaKbb9LpgquQ/OHjBx54k331FiPYaKf6Fuf4HY=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1534272436

%PACKAGER%
Arch Linux ARM Build System <builder+xu9@archlinuxarm.org>

%REPLACES%
coq-nox

