%FILENAME%
coq-doc-8.16.1-1.1-pentium4.pkg.tar.zst

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.16.1-1.1

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

%GROUPS%
coq

%CSIZE%
3869

%ISIZE%
0

%MD5SUM%
be8faf301c23d83a739d827d537fa014

%SHA256SUM%
79ef01cf001c00e06fb137fb50df3c17d9fbb00cee5d2f60e4bfa93913c725c6

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HJwACgkQyOj1oK+bp+fLgwf/SbBPpJU8wyvgW+dgZEplWR21BD0FudX+ACENKivDCwkcTtyVLz11Z/+sp2EQnoEkecmBf6UHfTm5xnvm2gJPAM+dZq3fARfmcUX2fWYGtCdtF+JTsJAvWTTxtuV739GMSnQkugkAwHYBzNc0HtO36CH6JatxUSGFQnCXAa2E7yCWiiHhsRIQzORiO9EUS32gMtfwIyWQ6XJ2oLJKoH/qSR5qEGDzwC6cr3C0AC0B3gbr2J4I5a6/XEWGU4p0AQu72Ee4hwxHNKq9F51f/XNM3aSItFTyW7tD80eo5G5uj40hEEbwlPi4pAyQXtkzMJaaMAEXF2p7nqJVz//EkUUTMw==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1681201710

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%MAKEDEPENDS%
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-pexpect
python-beautifulsoup4
antlr4
python-antlr4

