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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-1

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

%GROUPS%
coq

%CSIZE%
12024736

%ISIZE%
101803008

%MD5SUM%
25a0c76634f2c825ee08513d3e074ac1

%SHA256SUM%
fc581046e95fb73806842809ab9998f54c80856f621349d746cf19e875ab2184

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls2rHAACgkQdxk/FSvb5qYRPw//c78VWjdRthrUf0Y+UZdRWmK+xqxlrAL8GGc6exC+fQf6At6/IdivP2N6bjL/hMBbXKeewotmxei2QZ4rm+PE91sRQYQcT3ZlhFFv1xXACVzte9imRKUoE8ZcMthpUnjaoLhpK6dn2i8aVNBIMUcjyT07mqIrShbPM+D87dhlsumvPRE+mnSO9SFLdVyC/HzuYK8nr63YYuDK6iXXW+QAgs/wUANBDd9RBhI7YvL/ayq4Pe9/RFtUUfCKxm/gvH/iRqMviU8+xMA0RRxvt2hz7Sss1Kc0MZ/FHmoi679HC8ZRjtntv9321lEmND6dtYuTTwRUnllfeihVjCaBr+TVx9IZ9cUc7Jj7LZYiTe+c2f1CDYemxAoxq1GvRigfuajHRBHCQ5mIbUM5f4nngGNNmuPKKYZNBGGikz2Wti5eoIjTTDTf37No5UVMimzkz6dYfEhriLDhEQQHMlCsJsoMEMmSMgTo9ncccg9/UskFPxNEVyouV+ystn0hjFupxJ9CsekxZdKJshUNjFTasJupQizWYRw9dZ5be8/Gb3Wx58lNA24ExFFFJmAHI+FE383PnUJ/O/M/PYtsgjru9QaGfgBrAvo0xbj8W/xLilvAps21+GfHEZlKSzPYeNLSrULVM3xgTAJC7D8j9kXh7iXnNn1s+6NG1ANuVxMlC0eeu50=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530307974

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

