%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%
6538456

%ISIZE%
75620352

%MD5SUM%
5208fbcb2eff199f04a5946bbcf9f2bd

%SHA256SUM%
aa1a9d247371573aad8b9b15d553ac5e81567fc6871c8c78bbb4c6186f441ed0

%PGPSIG%
iQIcBAABCAAGBQJYreuyAAoJEHcZPxUr2+amNDYQAJ31NIEsOJPVqOVOeoBXjRJRMP+fVbVem+2teHbpMXveEiQOfYANmiPT02BFyM7BwZnlsMe+W34/RiMi2IkuobDVf9zPATssOEnDLT5lJMheLQxIsJpef8H7XxZgf4SWxU28QX/ck2vV5ORfmjptl3HPiSPQkpFm8pJG5yQ7i501ELik1ndkNn6uSw4p6pHiro35G/82Pw9+XZJh4N4fVon3yHF6/EhlmLI8JDSdJgqjd3T4LkF3mNZrkmr4tP+OZBAUNos9nrFJ9Uv99fm/4MPa48eBUPOgandVf3gDkS55jTIXUgTdheB+ZkJV6+jjVUEbazAp+iBy/G+G7ToWDhtAV7uVTzDtlUgsVK4LnJpmH7mS9xiFq3AgdKe7j5Nj64BRyF+L8x50f4yw4fbkoU+khu9z+5tQeQ8tCY2mmp+PEU54Vhe2e2EHTVtLpeqlgPiEokjdaaGxzd9+Tr5CXMr/Mx9mtK8gaFgVrkkEk0Yl7mAH9xaLvO3EhhO617XHZcwA1Rpu0jcOWyX/UxJ3Xtyv7FORyiNhfgY715rK4NG/CXA7NeIhKqWosURIykyDHBIl5QFk2IWKc3ZePPIk+V20hP0jVY/3QiHEom927KjI1FSWOx0o+lpawRHoDE7ipMBrwUlzOhGlldi+5IlSowY1NaIp0xQ46RBbmeJFHd2c

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

%LICENSE%
GPL

%ARCH%
any

%BUILDDATE%
1487793016

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

