%FILENAME%
coq-doc-8.8.1-2-armv6h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-2

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

%GROUPS%
coq

%CSIZE%
12035328

%ISIZE%
101801984

%MD5SUM%
06f1643a4514e324aaa6d8f5ffd74ebf

%SHA256SUM%
0aac1d7155d2c554c7a7c1b5b8d1df6b732d03992374abf226c3d2bfe87d97ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls98QMACgkQdxk/FSvb5qadTQ/8CQIaDsXZ34WOITUaK5UtuQNIPNHpcCxTp+k6ahgddZ22A1O4M8W9o3l5wKn8iXp1pHESqvxE/jrJM/1TKOtDaLM0UqhLTfCPRSBXBKOCt2Nwar5dqJh+4Ctk8j6IijVSdJ4fiOa0HKcyw/Awd2FB43qoNx6ERdCzjX51cpGB9CPhO2WOivuIHsQGp1j/4dJB224Op5xqr7WGm5dPbPj5i/5BZdIJX7uVnEHmZQkATCcjh6payX1abp19NW1IkvVSEZIzrbhuBcIC+WPpDOE6hFMZ+BHVRPCUVVppM7ly6hgpAvEdOu+4NLtNzdQA0KOa7h/tj4OM+in7J0gn0z85rV3Z5BmivUtyuv0CcBhgxTSZ08k1cLxzBUb5dgoKdgNZihB6UhM0dVOmIguYRFtIJPgI/DTuVAtCylXt0gpisZ2AYYy7/Hsr1t0HRGkq84aumU9nS4pL0QdUvZbpNMKSvJ78d2QBZUUmTFylo9BgMe914celJljgcmmlZCi43w1rQneWGHZQ2YO/eoHjlkmhcPo+m3NXygqp50kx4OjQJm2yn+4ZNdHTMl1/4jZUNclbuC7EchmHJf6c32ABTOjbO29hpRWo59WSbvXmYSxrbTWuy6hub2NwpuH5aTirzRIAiVT0MR7A4dybmUmm4olOXIj7p+pLQ9hh9I12j6TgZJI=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1530784055

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

