%FILENAME%
coq-doc-8.19.1-3-x86_64.pkg.tar.zst

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.19.1-3

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

%GROUPS%
coq

%CSIZE%
1929038

%ISIZE%
65328566

%MD5SUM%
fb2b50d925e24b6b2eb5419568716dd1

%SHA256SUM%
f25a4cd1c2c46e204fbd0b32febcde823ea0bb9012b7b6272dc651da5bd60642

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdpYUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaZdQ//ceIH9CWAcqmnmKLiYaYl609qXOaHC4gKIe7Bi6PrdMSakhHPkbvLSafnjwLZoLVLkfr8o1hL8ohF9YvnkY+bAaZPsar+eGuZRFJRo8mTN9BH/vnh/DMHHHiAUkIz7Rr0bwZV37fr60QZOylEUm5tvIoBm6j/DggimVIHE665TLEbMFXzph7nNNr93gICKPOdXDORpggfJMhGaXUJcWgxoJKRNW+UKnVq8iqCZbqfhfUwJQSy2UeTju0HKOAL8QF8luO/2t/R4sBXYgnC2sLsSkXW/09fU2JohqyEmqHxxLPehKxnSc3oj7AFjRG2vH8jmW95fPOttOSmpUsRbw/L/iKU8FS9Jy+6L/ycI29JaJIIh5oXbmfdTWSBRfJQ4bgrlCT2RqqFXDgwFl10sxjZ4ByS7vV55CBYyyeskUVuXDrpr4DccNmKYp6tXw2Jcf6scv5DFVTVBpSv4brXH8eOIVlo56nadXDKZ/1TXvf11ZRK8zbLsS/BIBAWB3tSO6mI19I7aKsaxR14SDtzDFujcKQQtcCKlTblh1Z4JaYI5Js+KRbXThQilUdeV7zeuWE9ZC4rorkxdnfyWL1wCYAsnNh3VeefWwCQUuAUsx4K7IDYgPK3NlUj7heAvMsJUUrIf+DVqJ76B3HmnMFo1loE0fZjwnS+h5KIHM68Q9hCq+A=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1714948389

%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-mathscience
texlive-binextra
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4

