%FILENAME%
coq-doc-8.7.1-2-arm.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.1-2

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

%GROUPS%
coq

%CSIZE%
8781292

%ISIZE%
75644928

%MD5SUM%
a16b8ce25f316a514f2e65974ad76ccf

%SHA256SUM%
ee1c3900d85fe666cf2c8d9b5c9e968d39d8a640cfbbd655059d5c3de4dcb42f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppqPEACgkQdxk/FSvb5qYlchAAkxZk83My0q0zit+IG88hoV5Dcp69XpxQ2NxKt189+wCvrlVbmnIlqfRDEyHJwn16OIYPZMqdt/RRC06mWVerHVC9VPHNkLBZK2BdlXAurUcxQy0jmn9DiumaDnirE0AvM2lWE4lP28lQY3CkrTlfK5J6L4hg+kC4i8/V/ZhkMShdjKINvDnZwZOiL3KlfIVSVD2vCHP8Y2z3Vnx0AxVghXSBvJjqQVSLuNQdDUkGLED3lwQvzZ2JfTJONm+rmCZ3L9M4JTLJuzskg4ivyH3yrFGns5nAi4nru6zV3iNUvf/GbYcc+pyfWmnXV0H3rR4dChD/16HNk7XiCY+DWdpeyaH0iugH1cFyk9UqwbkxjLlUyUZbqqt5VWSG3e91ndhpXe0GQP50VjEffTNDGbzc6yQsTLNIveRbEBlBGwHBrv45tqokOpTt1CXNA13PE1m10Ru2VL36upp0FXqGZETN8Sc+qzpB+GLCIq82fwLX1WlooPGuG4pgtjkmJiBb9rw3IKi9DMKYzyXby8+7iggp7iKKvg2fWTK4j9nnbqA4DQjMjP3QLj64gjsX0IaiOZ4VvmYb+YCHOsd91/RR50JAhOGXIL89oOiEyOx0My/6L2sgefRaqYVcgiOq7jYB+xlVA7IdGZSVAe1wGSuSl6/976LyzM0Cx5RNMP8dlvkKwrw=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1516873914

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

