%FILENAME%
coq-doc-8.7.0-1-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.0-1

%DESC%
HTML and PDF documentation for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
7015980

%ISIZE%
74105856

%MD5SUM%
3415934cf011140c1b83dc0edf9340b1

%SHA256SUM%
25f614bb9a3d94e88adcac8ae01795985ddf5ed561fbaa651c5a027c86168a12

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr30ACgkQdxk/FSvb5qZwXhAAmx6IcLgMKPxcT9IuenOA7wlNTWE58IRWDEz41Rnb40Lz8vM+d+kY0jJsENOeqO986g4tLclPUtndAuLdCIZxsNscis7J+zluEMSdW9dxgTh5igPqJWVPGsABdiw2IuxcH6bZyz8TmLA6TkIOasNzm2MP44H90znuaj9pdDldg1rvjIBBgBddpq6tOFlvS6EeOWuTJ11WG3w3i8uiDUXynCwB/e9XLYJmlFhsiwhZKCL8JAk9GoYgAwZgQL7as9jPIMmj+u+FbDWp+jlcjjwk8+3aujdRdhD28k6+N5sMplRw5kYeAJpKkDIsGwhlhaBGNRqtpu4DfJ2/s/tze1E+HoLZfzF3A63/hxvIApzBFAl++j1ozVelrgOo2cEzppwhG4OP7F6n5VOoZqjI6FMkZvg+ESrB/m4ByRGkU5aLsWpoynDw3sUxd9ThNf91mtyYxXTYz4ehN/4Q7EmeACA2ePBuoDbez7Ap0+WjBJGoR6zd+gji41BoYGixHrRuBj5Y5N7h0P5SZ73RQsSyIMX0hPH3QPwpynhX9HUwpYMCoZK/iAq68NLCKepsSTqlqzG6z1EEwhjWYovMmnb1RjXhcH+VUeQJjf28iFlZ44fi+Fq0RuUEbN7dD0x5Xsc6DYgpurc61AkNsZ74ozpybmfqVXLsj7xJtRodvyedjCT6Fqc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1508336476

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

