%FILENAME%
coq-doc-8.7.0-1-arm.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.0-1

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

%GROUPS%
coq

%CSIZE%
7010940

%ISIZE%
74105856

%MD5SUM%
f08f7b470e0b7ab910af89d9f11adce9

%SHA256SUM%
ee8095b9f52dc6b94d6c31c718f728a79b458e85ee7fa6dabdd77df78aa7f138

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnYW8ACgkQdxk/FSvb5qaADQ//aLpkrnnP3a3WMsLaK4mc7fcWhqzimPJi38oZ3USZIWhdUcrj42sz+SiUyHmZ+w8uGR2hlC5PXfIyaAWct1Pk7k1vVd1BAjfFpDHP2EQhcIHebyxAi20Xq3CmD7mVzogD8DN6/1/5DYRQq7JDjMw1U9AWm5yGS7l6T170n5UP5Y5CV1PbJPXSiFcT3DO/mHpeyc4GQZ3czjrc0a4bDo756zk3Fj0XmE78WrSX93kXi11D655kR0528WGH820aokaE7f5dz21OhZNCQ3uR25z+N8loi680GuusJiDFVMDHF6bO5PRUA4gc2SwWDYBdHe6oQhaUSoNlOJba9ROJzSDJ07yClnnftFIRXf/6ALwnL5dLsQ/uC2gHsjnGRpKsY6tEkhebZLjsLezMJ6ans6750a5+Rd/lwag9WxfXmQNV1lT6idpIxYE+jf+X7c1cxqgmsBczGpLECGQz5bY/iTRAg79A1SJnpg3nL9XFJYQJXFjpWhH38D70/koHK0MIBbvHXzcvetcHSgEQ75K5mA//hbboqPBtm7AWl1wCIgPz1SAPS497X5PJ28aVPX2Oxbwwt5Yg0W1sl3008tkmEiVelXDy9fW9anaUvLXJSdYcwkMlX90amV5wP7UyejLZ3wveZeF0nO+UzuzY90OCOM+kLJ4HUb6LQMRCRKED1cSMWUw=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1508335921

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

