%FILENAME%
coq-doc-8.16.1-1.1-i686.pkg.tar.zst

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.1-1.1

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

%GROUPS%
coq

%CSIZE%
3841

%ISIZE%
0

%MD5SUM%
95983fea7936c182fd15dcbdb2093e66

%SHA256SUM%
c4fa81d00c19ae7093e39e23378f14dca1eef01eeb0769900e48319ad7c807c9

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HIAACgkQyOj1oK+bp+cs5Af+PT0sPCMVeTMFeZ+Yqx7U4Rcbm1CjWSO6drER7kWnLElGsp40QJ/3v9Mpb4/+SZIhAC01fJzn8ik0qELi8U9kSHcK/m+PzwSUYon4DU/gi8ihnfE0+n7Qnckr4wic+zoYe2BODns2Z1QaSY2NNBkNT7VUtDTErsa9X+D0VRITtItt/S7eDJTV11LCyWsTBAV/0/a/0VqBkA0qRmvDg67ry5TV8Mh81gN5EFPW/L0njA9ObXmI1BCyfN6R0p9pA/Nv8xhg2m+b9KpXx57w9zrI5o8jtVA5cQZWmzVUtp/s3qA9FzVjtgD7dAImo2zaqgBXZ9271OYeZRggAt3Q7sbWKg==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1681201627

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%MAKEDEPENDS%
ocaml-num
ocaml-zarith
gtk3
gtksourceview3
dune
git
lablgtk3
gendesk
texlive-bin
texlive-latexextra
texlive-pictures
texlive-fontsextra
texlive-science
fig2dev
imagemagick
hevea
ghostscript
python
python-pexpect
python-beautifulsoup4
antlr4
python-antlr4

