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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.1-3

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

%GROUPS%
coq

%CSIZE%
8674748

%ISIZE%
75656192

%MD5SUM%
6ed58fd9724dd54aa90876c305ad2cad

%SHA256SUM%
acec71b5538df0d3fed8d4b5e822b7990655e1fb4860618fa4c6439dd2ad3fed

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlp6ZawACgkQdxk/FSvb5qZB2g//b6o79LoxHh/N2XtZh3ZI7r9cpywVWzgzBdzy2KUnHyCGivRp0iR0zy4pScOFMa3RX8+Znohzir46yEyVzrj2O4TSgS1FkTKCBcRpaMHZnTcCPfT8TCA0guMyrHE2cRZd7b3tWcarQ7dLONcDrkc6iaAMDucMpdszYkdrnmTuiCs4tBYxocmxug2MzYZY1GFDQBKq3xxTDLvy4HROEDBnsr2H5vscx0X4+bQFY0IDD2l+v7pcKNLPo0ZE6lINcyMTL79zVYxjuPHU+MJqVTm2hF13RlsJcbDrtR9BDEPntfzGJKSNmEo9mHfgSxiSPFW/op67xsJzzYuAXzSN3rlr1rAwyGlXubccSPhPq9EhcVKJIQBbymj3AwgIRqjgFb6BgE2CxOB9uJh4zCIofkgtUq/E8VNubVvAiYe+Un8Gmkdyi4KpkZT3nnVudekUWNOO9Cvd+7QVISqOL2IlASsqVSPoudv4xHLOx0I/y8c2SaKtGlzfKdsxge/A87egbJvu9NAZwPTDfCpth3Kx3fyPizdoh476BVyrJiHGioiNxB9znEb2I0wYD30bKzBi8qGjUqVKAN4PPGlKiQA9J9ilZeKDPZ2/q29ae+KgaDuCHjKRrI1RKfULggsJX6iOLxyNwx5lWHLTY2b2FUbsRdhU4hgVX2njyU4HRIKWsrIVLKk=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1517970800

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

