%FILENAME%
coq-doc-8.6-5-aarch64.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%
6551828

%ISIZE%
75616256

%MD5SUM%
8139426931ac8d7fc95503bc9f0eaa87

%SHA256SUM%
76fedf458e1646e47f6cee462ede1aaed8153d0762e29aeee69b3fda9834247f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAliuA48ACgkQdxk/FSvb5qbnOBAAoGK+nJTiaKaRIiOCN1/87GLZJucqoIbcZHrSfbTWcI7/bUz+LW/1stZbCn4r+XXx/a/kF4ym2LvhpctoCqVNFMqV6RoCmVxoFsiQXxG8E1XVD+xAuGC2ZAC/1tRa4vT0IqhwLsa4G7wk5Zh1tPLAUzUNzS3+Y/wvn4Ov3gwDtFsKaKUPt8ZPMzYL29zkfMWzbN2A4uGsSoQDaymSy38kBVcqB/eXhxCOJQhrs6h9gIQYQ+Yf8oT5OhmtZBOVRgcjspgDFKtfJAKqIc9QxdTm10qp/0rjDj/TXLa1DR52hDa6qDQTuX+Dpe3fPclT1H+nJ2CAcx3Q6W4aVjdHPqcFCKF491GJ6DF8JHct2KpYiBMonTHyRDrp7cKWxu0OlVt/6+5AI7Atq8wAROcI6OGDHhspGz4tmF/JxVqXyEx0chFfUooDklofXDzZWdr/kA/GGdRe5bgPibyD49hPmSTBXgb8eGVllIQB1YGzOqAVCHHNl4GZdURVp32XWg9mBy81plsgPp77fO2Ki+TK2WtdK3cJ2E0axo2WVJ/SOo43m3g7c6pQnSsEz4cibWa1vAWGgwUckc28/OjfKsjdxMB2Lq0IMqCIFSOZjlJVomVUkV2I6nAL9nO+iZtquqpqKsgpgrsuoI2vsWzY3y1eLxzKvlp+6kFeNLfBbXOGaYKaiJ4=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1487799147

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

