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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-1

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

%GROUPS%
coq

%CSIZE%
11373182

%ISIZE%
115319124

%MD5SUM%
e60a11e0b571d8fc7c3f3a6422514c39

%SHA256SUM%
2642c09ced62efeb36eb69468f4a00050d52c8d2b213f78f0ae02e931c1a5d88

%PGPSIG%
iHUEABYIAB0WIQTFpZWP13hfrZgvouxaRbBrgcq4dgUCYepxFwAKCRBaRbBrgcq4dj7zAQCuZ74RaK3GAhPypkFWD/WOlfI24kkNHb+8g9cQMkQ08QD5Aa2ADf1R3NmT+vcqTmmllgpDr1zwQBkxxepbjoSlXgo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1642753696

%PACKAGER%
Konstantin Gizdov <arch@kge.pw>

%MAKEDEPENDS%
ocaml-findlib
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
python-antlr4

