%FILENAME%
coq-doc-8.10.2-1-x86_64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.10.2-1

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

%GROUPS%
coq

%CSIZE%
13062212

%ISIZE%
88233663

%MD5SUM%
d93816a417a93493ac6caca69bcb6591

%SHA256SUM%
871ae6942b4354897aa721a0f4a4b8e632a13104c928b1cd4e282eea36519356

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4D+ocACgkQeGxj8zDXy5JNUQ/+IE/pQKSdNGLhzk0lgwxZnKAWIKvrIHdEBOZmiOhMh4G8wEy0vzeoaUeGDQCoV3KKc1vYasr+mTpbnN1J/rMKHefgT1MjBDLmZtopDyzNYLsQte9rsvADjXRAAVjMX/RsbElj2gEz2Yy3+L20NpUji8JEB78KyRXehaC91TTb1J+S7X+Xm3sEtht3HNc3KswXDuOwJYdCH1AlbbIoVWorxYUXAuIt5NGQdOv+Aaus2yOstvoGHe8Nw6VLGSA7b46yF0W1UwG/pEQH0n9aXkc54P4FIaqQFnc0LKSbbsK0C6GEaM/NhF4KbtgSOguHpCs55Ml07RtJflzcBxCWtPTV9DzPahdUzOf2DV1MEUDym5+B8BLqX1Kyx5JKqtnuYxnK+iiLGahMko9mCrvYhfXj0+DGfZaJ1B0nRMVVNvsKWniUPxLDhRo/lnnepN6JSWyqBlItjn85zvAkdBJ6N2sTQ0YUgysEJMrIA8n10Wi/zQrN0nSePXX+mb9/ds/DB14KrMZVV37WdxO8X8HXN2s62VaKO9C+TRMqSq3oZPzwwYiSQ+hWoE0o1MYlP+X13JiLkUKOn5vto7z//v3NjBdpGWiQBtICw0y1vDZL5tKPBMyXB/u/iTyw9boE8PPVbBPQk7pDhpDDOgVURmtd2dlParo3NRlmpnTMi0Odci3snXg=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1577317499

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ocaml-findlib
lablgtk3
gendesk
texlive-bin
texlive-latexextra
texlive-pictures
texlive-fontsextra
texlive-science
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
python-antlr4

