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

%ISIZE%
75617280

%MD5SUM%
f21f4e0690b12428041cf3eb1e98301b

%SHA256SUM%
65348f5f1d9aa3cc4faeb819ea679f331d2a51eb6352d0441f6c89e104e1cc62

%PGPSIG%
iQIcBAABCAAGBQJYreuBAAoJEHcZPxUr2+am2C4QALTJz+bcFUrEACSJKMoFvunkkcWpkUqNnO9No4i2MhCnJ3nm2IpjEWM83fUEvL4vvNUmxPTVlxYGf7hCwii8I+p9Kg4wuApGHK+YOQqqq38w1eHHGMJHGyrLx2sa8Ozh3kaz0o4f6P7GKytgHxX50GVS4DHJYies9RfOCkryl5gfTpEO3M+RM3Mqh0zwXx0d1uBByTgHhyzQh0OZvxiREULw7bYHADkKi2TUs/rPsBr/jer+krdOVnqx2qdcEBWX9hybi23wsl93bI8mjwnt61dR5jOIrRwSOCFj/9X+pvhv1kpmYDCpDFRgIAXKzQsCujc4JD4a7k48qfCUqdZIZyhgGqho8CX8CzvPgIUwt9PGTale7x7Ym0KvLXMTK8kuuLp1xhQG6UL4lgIRirM+QZSHZWb0/KajpmR4FGPrGFTq0yq8I7wgShTF4tCqs+w9nloSjkprOH//uxA+Nl4dS0/RPwO+UrWgU6VHeI81vTCXoOG5FpTVrli4hdZ090iHelKjj7CKbNxpw4ssJSLrza0nla2hsc6cf9TEI+ly54CMNKIzLY3vF7P6oEIPhW0IiK+t7a0UhJojzceCTPrEimPyZFa9lkj9CnDtfF0jTUVAE+eEJT/0AK0y+LDauTQWPaf6LS6Qn+PuesfZiQxEV7nItWdIFNevKhgfKYfNtQEp

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

%LICENSE%
GPL

%ARCH%
any

%BUILDDATE%
1487792968

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

