%FILENAME%
coq-doc-8.20.0-1-aarch64.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.20.0-1

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

%GROUPS%
coq

%CSIZE%
9973816

%ISIZE%
128849953

%MD5SUM%
8ed467e48fb4efb43a881330d5771551

%SHA256SUM%
733d0dcf76411881d594a2181be63c3a9b8701117862ba2824a7e3ab3cccc429

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmcMGmoACgkQdxk/FSvb5qYiQQ//ag5fy2PJORXi7FZnTcy7QnfbfYpp4y7/5Vvc0wd0C6pH7etsw6HqRBo2i4E0SbJB2LW63+7XpEHz4bkclyZIwKlQtGp7iMDfAq/9MTYqNo2qfUbj31Ia0co8VrbKbiayhxQyuraEkMQmzS24levva/BNylYfaVvWvxPJBUSTPFVrcgoR+eMwx/Q/xwm2vG5yrVCUtzgA9XIEMIFF8nIs6c1PDKWj+l9fwUYXL0MRN+rHpsXpV7BPCOwrigOa7mRRyedncD9mlGZY38LV2pKhb0zIYBFajjmp7RQpSjUlEOBNsuEz9YBXrGqjKg+RJ831xWYPaIXN6fkR37yhKvUZFilZCvKCAZOmblPeOijaC74y4OrAsAtP8UvcZbSouA7ydD6GCiPA++Of3oF44B8MSKJ+BjHYb+lTulFXb6dt3z9lAsCv9Fb3Qy8qBB4HyNpFtmokex+ZnpHwR+cB2X1fX7bbuWUkUARfvVmvCPnQFhQzvtumG/bANNNPWjl0x4pfHOuR89fbao7kpHmdUwbt9UUrb17xV4JIi2P+t+Bo2vEOGPJtiUOh+9bZgZw/azrEAukX6hK/M7v34PFBpObyLCJvZ6INLA3EOjqRDqeDlkO7aGHX7mEfw/W0TPEJWw50CP271X9jGXPvJZY97ZhOqzbdfLyxm0nPuAttWsHsxKg=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
aarch64

%BUILDDATE%
1728845137

%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

