%FILENAME%
coq-doc-8.8.1-3-arm.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.1-3

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

%GROUPS%
coq

%CSIZE%
12034716

%ISIZE%
101807104

%MD5SUM%
db2976b50d09e802a0450527343ffcdf

%SHA256SUM%
ef1eb06301016a5a8f1751539300407ddf371a64a48e74bc1a5ab216bb9f00a9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzPOUACgkQdxk/FSvb5qYiug/8Cx/3H52tarcozc9KRtzemdjpfYRR//W6EsUgGI5LdJBPL5XEVooHuC8zq2oHeCcTFWBeE+YAnmQTWyW+umtWxE8FHwo8tNON+z+BYhbacPuHWgniay3aGQ25Sq7vlQ6HFlhjVTWQbW6B797mCIWMIY8lHl+rCPVJZ0XXLNa8+yLEF3JV9zVlW/u8c3cxN2VzrvqYunPI3S2h8nhQQhyBKVghMADJkB9jgKSb0JIhHRhW2zAx3xv4aKHzeyj2Xm8cdAaiUDxmbDaZr6MRTzWfhByN4jYxxP3GQys+NzUCqvwGPVftob9I+kECKDPyY4jbu52WibpRf8L6K/PaA2o5qhryVv20YgCQYTgWHaIqf9VvEOpy7tcwGgbz2KuY1k9XeM3TWg9ZCjEvAn8EFXumT405pBd2nsWZbZdaOmcZDEJhrE/6YuMNDKo5e/lM8P3+67W8DGbJIy2e/lNsgxmc6cQWUl/loytQ7dK46Sq12qtTepsMjj1cU7Fi687SpVPJzMogZLL01TqsnKMl22ohoK4zlGeJsI/SOSDlUrtuE2utUE+hhssY943f9D/IeueJswnIXIiqXMFDVfyilJOjgYo7zc5puL+6k6s7n3RdCwKIxDPOUvz+0HDDJf2ANlZgnY9XKtAEcrabfmXyLIjeiM6ZYuics6VyIWGJQOh3gnQ=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1534277035

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

