%FILENAME%
coq-doc-8.7.2-1-armv7h.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%
8830136

%ISIZE%
76469248

%MD5SUM%
4832435bf3c6f4ac639b3f031f63fc0f

%SHA256SUM%
930c51d8c9ae43d66a8d1f9c2da6d6cde0806a142ef6394703a29bb8511d86ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG96sACgkQdxk/FSvb5qYC8w/+J1gHbQjvJQ8yFYMrZdlFB2i9fpU34TKvwH1Hk2r30Pj0EbDy5FYUT2XxBV4mqul/XNl3RdLIPk35wWEfYMgx4e9S4qJqeu+2QBwxILHmPOQMNa3xFvDsayix1GOsZqkKMXVuabX6rAwH2DI9FZGzfC3y/4JNUuxZxKX7EJWIdwbi+Uk3VwSTBdYqCPq1eSpVrsFzCOfss589qBT8NVB0f5SuwPtAavDLFfwSAymkzPuA8rv7qg77dV9s9QhELqfImwyHHIFN60CbrsZEH24CSrPUox5Qa3VM2gqLkC1Fet6xIBqW5nUlv1Xz6rncemaPxslwcq6KdEKXDU17O5CpnGk3z0xRvIMqDoo+fbUjvhamh2d1fZfqcgATvhCJTIfWRldZ+shuByLFINWS+UTKpeqdKH/Dr7Bm01xmGQszI0+59SDJLMSH6Efo2uOtkDay8umvOHYZ3dUql78vCEJ4or1TZhL4PY7QK7VUTHt85xQP2std8bxoRlM35XvnbGcTuGlf+RYCUM4gNPpaaeU7xkWVmSYIhLGNr2pK0Zy4Jh6J/kavy/eSxOr3xFLpZWAUvf3N2L0/qv3KRAUJYjemQcdpHvHoIHpvny7aMKGhZCjSudZ4BO/7cvvqzzngDpOIgDpSYdKB5JCz932+YRB/RJ1k8uksGJCIWcOZZt+y3nE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518794607

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

