%FILENAME%
coq-doc-8.20.1-2-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.20.1-2

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

%GROUPS%
coq

%CSIZE%
2255624

%ISIZE%
65797470

%MD5SUM%
f934052c3fa70c89b06ab8b0bc03bafe

%SHA256SUM%
1eecbea0525d71077d2e93315651349d11c7f9c6a563467fb012877fc13855b8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAme7K0EACgkQdxk/FSvb5qbcEhAArTZH1dg8RYqBGKOaEzjj77UcaZdNeAxOMMmfBX4bPokh09vyHoGCxpecfE+HZjl2IgpJFmGNl+wKIS1eQ86qUVNZHT1DH20difkz9+rMlPBl748+PREZTKBAXUxSCSGpEdVN98LGk0lcXgyHCaQJR7aROz0/rvW+IXRgf9BSnWDDifGDMXgBKNjyeRE+FkO0dbkuh/AlRAfAgIeSX5XuwCG+a9v2GiEijmkLKi4Ycyir1MOdzwurWbP96FTpDlNOm0AkkliHfRs/ddr7oO2/LZyEdogwKcz1Fdnavp5nrPLcXMyo8FoTHeQ99ExYCLp51LvQ7rBkIfQkUzfaD6xQnMuSCQcYJIyiqKVZ4DOgPxn2hcnLD4xW18DS/pFB13C7zijg6Wrg+5Ihmumq0PHpGnlKNvtZpI+P5VtL4A6h4CufPy/wUwvkzBojw/+HY9DZmJRkfTnvy9fOSr7fzXwqizuyOFOOVQm/BFi4CrqHZrbYGsI+FOuataSr2ntqWec4cFChPiLJx+IPpxwNcTtJUw2p6qlZkdio7x3PWCs0IrdwFwmezcz3gSY+dt3d9OGHoaucfh755QoZB5vgcxAzugZ3V/gqIUprGg1vCPNaWuMCUcp1uGf6NdFOu6sKyrbsVjzUzU2K4u+j881QX9GU2hTd1SJgqSAaJzo6rqd/S4c=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
aarch64

%BUILDDATE%
1740318548

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.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

