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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.18.0-2

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

%GROUPS%
coq

%CSIZE%
2279224

%ISIZE%
66842794

%MD5SUM%
23d055cb2f67b325c36e988dde9ba8bc

%SHA256SUM%
477e5b930280bc345538c95c16b1ceff3107905e5c86172ca17fccd16397fc04

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWa1LEACgkQdxk/FSvb5qYkSg//cUftnCsnUjnlHewk0PRh1V71QtckiHmFWZlE9DhFUgPxeDyeokilcwFIqjqsLFkjNfaS0bxSOfveesKbIOhTg2pZF60/n4wcH6hz3lafzA0ILHGb5N7clAV82k9O4XOntPWFVzHMTlp+SbCZy8L13YWl3iV2Dw8WjmCAeL2Yqy/AGAT9LClC5wRNI2NGOSefUZ2/9b3rPYv/yTJ++FFZ8pMfo+wMihJLPx4xdkSM/dLJf3ohjNnkiEIaZq3OhqYo5VYGioQqa5FFBydgvYC0OM5XHlp1x2h5nPDiJAw3o+IVz2jRwop1AJyrNQkASnhZGcG800Fbcvt3Ix/qN4fE78D9yvfxy57m/kuVojsKhbhLGDV5vLLvbNF+1WdpT76j5gszlqa9s3l81lgko+pnyhltAhhQ5EwGdL7HnkvEUqgKZZ8sKf54fk/6teY+sLDOUGXfgFPVJE4/zWd21k4hzRyWXSg+j8B0646fYXwQp0ul1sw840GfJcvkiX1mia0R2NpCyoNBbaDy32vscYn8wtJ1v52nCpJTH++TvkFyN/YUAoxSu6magbfguC+4c7uYyo99kz7AQefyGNlaiGe8rzkkjZv6lHqVJgLwvrgkwlD0e1vfblWf+1ifMq1m8E8AjRFRmWpDL33nyBzg0X/Usfaxv+kTwCiw+zZDCKzq7Bk=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1704644022

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

