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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.13.2-1

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

%GROUPS%
coq

%CSIZE%
14299216

%ISIZE%
117540219

%MD5SUM%
d5f6568e6cc31243d99baaefce734f08

%SHA256SUM%
3046ff6b85fb051b97cd8b3e3ac4558304d97d476dd00bed0f7bd2f965c4a8ef

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxJLYACgkQdxk/FSvb5qZJJA/+OYkNSLjgRqsIHd0Sk1MQmda2gqHMG4XdjnJT866Z4NKmbMPpwKIVtBEhfQfP2EEeYWLyiKJ0FrfqLiDHsn+YwOEtkmuEwHxbG2xySlz98pj7KKbWYyjJMjSBuXWEz1ShABQFrUt+vAdZ0lkaj4rxzquqOkNwh/u0P4kMjGbgq+dLMLNtwxnXty70W5rl0FSnNO+FF7+WD8IYwweOGP4bH/96f6L9JAZcCw6iQN0aXrNn+XxTqGVIMYr++MP+xcCo4vpOx3X5zhQqSCvF81ycJ+TXF2Eg1rxsq+gGMmu98ZonoECZS1taE4qwORxPc9wwfWgjmAORK1Ubbg09yMnpqT6OazD5hyjOnFTU4213/35N4T639yw6QTg7yFAKbqCAfQ7Z24yqD5/F1BhdPZSRDz3FDF3V3V1Mu3ris283SgM7CWVb0Rgbc2REs8hC2obCJ1QZzWMfb1OC9Lyhkfar2shAo/I9a0Y5L/jdyYU34kQ+Gf913FyDNTKfkSl/eppVFc3uKfaTmiz4zSgoPDg1RFU7unMs8493pFSQtBi7wi8CgE47gsYmeSJLyHKVXcU+GqALJrKZ5JsXxQa5dmJr1u/1dZgbDPlzAdxUIFeSKQdBycje5sXbwHUmMRXhN1eWwAYsmCrIOqGQ0Yw77KPXGYIBSbYDAQ/Noen9TqcK9mU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1622219265

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

