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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.15.0-2

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

%GROUPS%
coq

%CSIZE%
11371633

%ISIZE%
115318451

%MD5SUM%
fdbee1beb3bf9022fd47538af926288a

%SHA256SUM%
ffb9570af635a0cce17afea776d54123403562d764e0d6977ade6e21c996fbe8

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMeUUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwb5LhAAhAlt7g1SAOGGkmxjCxBqNNzYmAOXIbkiDvYIWewOidxGkcLgC/tDLk17q9KLrAL6sc+ick/XWwcH3bAGJAgR4g6x1fRTVUj7OGWNf7CFC2MGu1fqVpyAhOpmrKLXu8yOXMG/k2TV9NlsnJcFd/E1bG0v+Y2NZd/p467/ccs6i2kx5DTCbSu7dsQJRBH8wyQIHlQXxPQNi+WZpRE6WkFyIO4BspMQ4NQ3LEmMTsv1IAH8jyd//GswpUdcBp6Gs5r4HK4iJfjKtxFIGIx4Gj8k8lUeIOrmv9liL4QxDz8TebsSm0LJsZD8xdtaCsc6IcvzDMUFywxnLID4bQib1wao3+Lzf5isj4UH9Hn2TQTz9YXHsIzJO8AO+CV4VNNKUXjhwP+i8D52cR11b1jQ6825HWuNITXB73Zy0OxgVwsuXOgujQPEN33+g5Oi9JznvLNk0VioOi1ydQhZYGfv7OkyB0z3RWNEqHVWQgD24N5XSaCZflFjz4wX2P01lzSRMMvGF9UYCJAsSeJ1u4DCSDPAJHbg+1kRQuVSiGZqg9280Gl/8mKJwjy9MmE8TI76kQ0QKLrUx/DiUrcaJdLBjNrQDDytlqSYsY3KGmwpGkDS1QrSuS7H49NBdL/7l4xyMK5pthR/3Z99kpfdqcaSUf6/ayNvsUU1vPal14IL5a4Osd4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1646749050

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

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

