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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
8932152

%ISIZE%
76460032

%MD5SUM%
22607cbb5983a2312f93382dba99d803

%SHA256SUM%
9b6f6f4cd3a7717eeb6299459f706e14eb04142407a518537b458637511d46d8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG/VsACgkQdxk/FSvb5qa9aA//U8IgKH+/9/LVUVJyKx071EqYzklE/LZ7uS/C6enESsIXP6fgbVjgPaxHC0P9vaUCSwEcB3U9Gl6LJVcuxrguI2qmV3OqN1VqAQi7gOkrM6340yinDEZWgs/4mTNurUGLVT2ejtsUCiBxLDpknGNAeAczy7UIJ2fgQecLxvZdvuRAfFSUufskNy/r1ONlD+hFoqm2WgFAb0tO5x34Qwi+2oxDN/f4g7cWFpTTOG6vUl/DX1bvbGor4shMu0gPannJfhIs7xI0yy46fPXoFxio8R5E4HYiEPT48ZE3iD4p1OZieI8HzunricsPGGuWVBdQIff4m0uYxkwMhsIaCJ7he79Xxy/bDMBRSAMj6t6/MvI00sVdL2GgTOH7MjYAFnBRe0+4Vtbz/7Hh/ZprzYaRCnHRVgy4vYI91tTS4bb9iJoHbEb7ane3S/nBwqrEgAbrJoHR5yHOz6AqiyeyMxB1KjZy1A0n8F4lv9OEjhXvnfJKHqrYsyyFNovYPDmmMP0qKrbpXQFobljA5dEe089jj5mt7yt1sXHOJBIcCAmmxUs/eJT++pVTj0K8hft8Lpcwy0yHyYgO1oNkqPRZrBvnXoCz0/zFAOYyUKAp/dJ5GOi9yCgI7G82GVrZiFaqyeGCCERj1z+fS7dHBg8gJJ56u5q4F7BAkQ40CflyxMAGqwM=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1518796069

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

