%FILENAME%
coq-doc-8.20.1-2-x86_64.pkg.tar.zst

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.20.1-2

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

%GROUPS%
coq

%CSIZE%
1916879

%ISIZE%
65797470

%SHA256SUM%
95d8e3151918df4bfcaec4ec1d1cb05c14e29a5e9903e9b2802a8c6e2534bc35

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkTMACgkQrx0hme8KPM9SyQ//ShNP2URvlzn+m1DchXCcheaWMgDTDg2hBgpI3353LIHdNq07CO4SVNpDBT8kSGt9evPSkFIq0sxXTigxQXyCRLd7rUQPmLfiy7KbOy64QXTE6JyiGTqfqLPZnQsJ7xGqSdNrTkw3ISs2srYVKCEX7orcwmB+DihcpNfi7llEeUXK3RoJxQ6PMI8A578Pbs/ks3kR8tWvL2PFhWT7JvrXF9Q1zj+8OB0RbmU8Czom8MgGYlZ9/d1RvZlhOUx4E/nc+MAA2EgjuUgWPjvRSrlwLC6PcYyysa1C1waF3fqMJlpyFRuRaSi4WA0OTGgTF/bdl0x8jKAQ3uaHN2Vb8rYfffTX4Z+LnB5T20zJh+9xfPa+TeLYzvhAjcpc9dlts5eOX6oNbYJdkrP/aiSxqV23+YnfS32efmbJMRKUBw/UeYYo6oASNm9J5+X4gZX2l/YFn2TpaRaIgSy8/GXsXlRvFmVnxFez86CwEIQ4ACqaTMy0UkObiMnRbXL63lvss/QNe7RO2D8Ygjgy2KcUlHTaR8jpH+5R+fWh583CwGpgsPNUMxJYLjuDaNnE1Opcg8wcGv/ktWu69TMagQuJZ1ptbtuZ02pRqGp0c9uXf7QdFrOW9dc0T0Pfh8vDXMv7ky2bjiZhYypHegf+eBwE6hEoU0H2g1FEj19wTQHb+7m8G9E=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1737405013

%PACKAGER%
Juergen Hoetzel <juergen@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

