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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.18.0-2

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

%GROUPS%
coq

%CSIZE%
1995267

%ISIZE%
66842794

%MD5SUM%
2f34603105c940dc7cf7eae9ced73325

%SHA256SUM%
bbda8111c36f30755e4b5aead9bcbcc38280c402a9a838eaf4684730376414e4

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEHQACgkQrx0hme8KPM9NbQ/+KvsTVRD7EOtjgp7LngJPgKo4YhtNKksjm0JfNEOfoi5VXeYouoiOwh79hNPIYpai3/qbkzYe+WHBAzxrpA4d/t7O1/p/Cn83+InljqtLR9Bryv9UeLGG6J1SiHSLk3I5REdET7pRKsCbBgMP/lPCjqdofy46V5mo9cmAauRAbvsCD/9m1FBvRQCotoo/PXkqOX8ywPhXBu7kdDpOYbaLWfnUqGP35BY73S49Wsa6N/4nWvEl7vkgaFYZ72XiPRw4dOoQI605dFR+exfSJaRTFuyEulRUORM5R2TI9sedi/HL8v9exuw3UfJA49gGIHR1gby08A68WZh3uWiE6Cco75SwhrTGjgeakcwIMi3wiFYcgMSpv2Y/JWZhPtBg9dR5FL9c12NZaaZ7VMAbnT7epDukH1iUixTfjkBF4RIAmc+8pw/eEHLm2c6c/vk6hf98eCE+uSMby8M0yKJiIQODpj0lcxmv4lFAYuQllSw7UJ1MRc9Ui6XSD+8a3HYIs7NlMq0QuDG+seFNjCr1UZi5d3ScS3GBSA4aGJjDXu/i6pCXpx6Z7JNP0tfsEuF/H2duVvj5IV5VSYd4C/LVevtneoaxAOqq5+m96zKv7BmP1qx2YD8V/VEiiZaf2TKKepSyPSeo5ddWGsDnGh6R9JEeRNrY1Y9SKj0ReZj32FyIoHo=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704634483

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

