%FILENAME%
coq-doc-8.16.1-1-x86_64.pkg.tar.zst

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.1-1

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

%GROUPS%
coq

%CSIZE%
7000729

%ISIZE%
105080754

%MD5SUM%
afc9b70a7ab95f5d44ba15f754e475cc

%SHA256SUM%
65856c672b97fe53b07154229c488048f8b0354e36b74345f824e3507a497c6b

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoMACgkQrx0hme8KPM8vgxAAjzX81cFK1bLK7B8d5odCdm5+DwWxa8OPPd+r+w5vMDT69yFkhLOMIqdo2QVfaTPxXyr2IB0jJ0yf7776P5HnLMJkv7nd9ONg5jpshwrvPxAWWBe3hzomTZHUD+BvjBvYUfZecXTyvlyLRA4T6WhCwbE1gWHOoi9ln09+U5+bMyCTDOE6xZ6SaHce3GPhTx0oeoIh9AbcH1XbOdzMjHtKi0c8IvgCZeQ7euazH0ptdvchMydSy25KbR6drlm+m59uBDKpFlqxhdHHCm8pI016qFHll7IvmAyB6eu2Xc02EZIYXGorNd83/gQ5gqXrt05bR2XDwt8JzCzZbcfZYez2T2k3S9LNT6WWlwfUEFyTbVb1lGSc5P0lV8xT3yYG4FOCEbS3CZolza7un7Mv9RtVWIIcvYtC/PlzQqfLWeSh4jSv5uXPtW3vDDoIDEM+SG6fIhUry7iPLcqHst1aSDNfoGDPc5vmIsbI4rqIXrwwolCQRbtLBL1Xh/Y0sNApCl0mhG8SVScDoqiWOyfx5qKvajjpKBnO6Ej8X8SjixJsdpqKQj/hT8EKRLqn/JY9Dd/hhzKKE/KcioQpMcDpQ00VC70BmS3IPiqn6VdXHqZ/BJpvc6HCuvXWOhhay4NFQh88lWdd4vTJVW68BaTMevXrZxnp7qFrV7QNVbDFTekdl4Y=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1670326533

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%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-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4
python-antlr4

