%FILENAME%
coq-doc-8.6-5-any.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.6-5

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

%GROUPS%
coq

%CSIZE%
6543048

%ISIZE%
75620352

%MD5SUM%
e027bdeb31cd4d93fbe2db0379d03a8e

%SHA256SUM%
5cd4f43f00a47ecb787eab0f497929bd7fee83acdda290580d858bc725ea3be1

%PGPSIG%
iQIcBAABCAAGBQJYrewTAAoJEHcZPxUr2+amfFEP/j5375r68cfGjIsQEYQYcI4YfCLzn4F/Rt7Wzrk9sUZXtldeyqv+oAXk7znrJlUJuGkO9te9t9LcpWSGpjGGMZChbmzHaraNOp111NkQmFtQZyYqQqCvzprdiTNdp3VZv1rOI8llzGwwcsdiViyQy+APyZbkeLsDWCSGiCfklH9H/nbp6pFySEMvCkz5nxyJQhKavsjZZrD9v6hT8nDxc8GJTOudm9rt7iJlZOzt2u9ysZfkUE13EOq+RkeR0pEwBWuYw/jpwvR3SmoecixxBcvewuvlb8cWPTIzUWbKt92JUZhMHgHsxNWR981bFeQw2BPXe6wmct6DSn3BSdp1hC8bCr9wcFVvSKdjrV69MkTeolSLPZAWnWRmFA3zmlQU4e3BZVRDxpwsXOo0B2rlKhUYTg+wVtHeoliHt1tNpMlcV3+4SqTdpSDsG0oMiUl8asb3Ij3MCADb7XVevIiMJVj6MLjZBIBFHFIsftgfUBlUYpRnmAfKuMC+ZbJ4qmUdLb2v7oz5LQzBjZ5vPpVNykUj/hqLy5psqPYZFCtODObCuDXbZXNzr2Loi894Am3Ot8Lf0qRm8r8TbZwKnX6FqydWBCzpgdu1HjTguZ6bioDBWX6KbAZjNVzLrPNF2h6gqHz6IM8InLmyY51XJr9XC9vHgBw8YYXmHncOmHBFQ6Xo

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

%LICENSE%
GPL

%ARCH%
any

%BUILDDATE%
1487793112

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

