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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.20.0-1

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

%GROUPS%
coq

%CSIZE%
9248960

%ISIZE%
128847964

%SHA256SUM%
f4b29432d5d2681df668af8d305adb0637a14378cbe0cb38c05829202c09c807

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOkEACgkQrx0hme8KPM/F+A//bFs7RrPRZEwbNFENYb0Je1b7j9o3n0Y7jU/dQ+8VbO9YEP+AsZ02tEiK12Rlm3sdtF3Xnne6qOMqkB3Etg3et4oMsYiotOVoESaLs8DhZMWBDGPkoE/g1UoPRtoyJ4Ox1qa0JwFvJ48SCKaXBqiAWbxIFIXO6/gr14GUizm8P7f/y5eR6ZcW8ueMnRoHw98mmZk1NYrBMIyCpt9EKlzxPmralRgTYD/PmOBLyP0Z25FMQl1AYTfrJMpNGfpOWUvCkhbIke5zgOPsk1osizRH14V3U883RJF1GEXukwmJIR7AUt/qICoMk78JvqN6QBDpBx8Mky5qLguPP4dPlSYKBHZ6GNroHLgcnANdGXTcyik3d8uCMS04BM3uHo5AeUhFOSNFZ0ZYYqN0+t1j+AqcWe7FaUW7BnP2q2FpGHLX+Xf5lQHFEFIUqRGIpIxw4WAjZiw23dWqVLtkCD/4nTu/LGQBhKi3icQiksNBEMbNRFpfhsjJ1nMDW9hTY7mYb+3pV3ux3yrr+9952v5zkLCgjTCBawLtHs0baCBjYgpPswt7v7w5IjUeUkP9uOuAV+5JbBNXyLQoQWDNBZS0OiWV49rW4bbHAmHeFijpLYXpm9yp7aX8wVI3RCDabrDvgLh64b0Wq26oeTz6D2NEHSS7Iryv01intLfNRWFJ3B6WmZQ=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1728836187

%PACKAGER%
Konstantin Gizdov <kgizdov@archlinux.org>

%MAKEDEPENDS%
ocaml-num
ocaml-zarith
gtk3
gtksourceview3
dune
git
lablgtk3
gendesk
texlive-bin
texlive-latexextra
texlive-pictures
texlive-fontsextra
texlive-mathscience
texlive-binextra
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4

