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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
41832356

%ISIZE%
207240192

%MD5SUM%
1adea2e07cc9cf462b955368fec5f9e3

%SHA256SUM%
b7d847f0978e560ce6203af85a463bc95b7d11176b105ffc51595daae8b08876

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp6ZasACgkQdxk/FSvb5qa+tg//e5px4WISKV1w+FWKFjdZOa0fO2L6yRYBAUhD/NDrBe0DDfPEC2qQX50naoJRjmmsnsIDsrxkW0Ok7/8DvxeXhSzQ8cqXwQv8SZESeo5qHOsla34r+msnl1xK2j9Ap2MMB+2krvhhYTJKCPcq+sAUQ7gdtgEkr43G16SbPnvguaDu7M9dLj9lFR3/dQ9So2VyzFb03G34k9qKICXGwVNnZmGHdhJK9A8o205++vyYCg3MGznOHLjw1FdjBeeSrEfLeQIuajksBCWvf68TcBSC8YyGJrqxJ4KbCh9+MoIMUEdxyAn1RllXg8Mn9b+rhBQprnTDh1wlneEqsbId9DVIqAOumcF+gsSwkxdG3vj6lOC7Sq+QbZBPJ+zdd/sj4q1oYtG6mkMMal1AcAmAjX8coKByHN5UCBdyJiSOcIhICh7CsOzsoSUaVD3/c+6bKU8oWGctoCp6diQPXBqP5lrb0v5CMupqzAXGsbWihG02ByKEfRewfCjaFwmjIPFuJOLh5yAljnpWGeDpFzgFLfr+oPrQay0t+cpE50k4bIk0jJV/PEf4pi0b3fD/nP+WjpGHgqpLU5kFWOM6xgKjpE0onlg6PsgIbHB3VXmOx0QmeQDL6/DgYxvR6LDXAL9dDOVTd2itgELysjvUnmjsWFRj0L437ku2YmdFWsIdCnVX1Fg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1517970529

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

%REPLACES%
coq-nox

