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

%NAME%
coq

%BASE%
coq

%VERSION%
8.18.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
202739716

%ISIZE%
683567337

%MD5SUM%
0c814aad3eb894f57e26032c24cf5701

%SHA256SUM%
5d83ec969da37f4f2630688e895cd2492d0860e07f2e909b9949e4e9c192a017

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWa1LAACgkQdxk/FSvb5qbXbBAAnDTdyri3ledQVAUPyQYMbJazFXLm8K0+9BOO0rnwM3drFttuT3a1rZsVsWTntNGQ05+bcMsGLz0hmFHuaWqFNvCB3klgMboMsSU6/a9kN41ORVGKFV/olBrtL1Byj34peO46wMUSyzXUkNaRaD5Jn7xWEErLqY3qgWo35j2NHcVfs59TtbclwS6zbG48rBOWv90LFyaxyCHIhANKNpctzQndRximuWexrPYmilsYPOm9lkgWIAlLQTCGfpuwr5bPmPR1DSXAbkPXE1YxnjkNOFaIKGzeWQexfqHXEt/WPqY+OcrmrYDik6eEF2fcivWC1NJuZ9W2XhSDrLbD+nfLRTlnCUdfor2FchMNZIKrrdbWWogvqbSf1B4NaePXZni7g7SalZOB4JZUSzD8cw5ljq3dBiFLTFxbHq3aA4tr1z3f9tOSmTIW1aGSSWMrfJcijb41dSWoMhf9wn6CwzATHaFMu65LMUoFFd7JoYTW7P3UKqfihBVAHMQ2PwsUYtrRmvZ26gAl2Z/jPHEcbhUpBog+9bTvhUJQUYSHpBt8s5s3rcPEvpHhZJjtQDY+ZtfwQhovEzyQtTVc2Rq2xOAqUDGnBv8FZ/mMPIbwfz4HF6t6QPfvlVpLODTcSPuZUe48LzMiKbLDNiEETcPzgHW0gPy4G3dzfjX1wfCZ2NsSKfQ=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1704644022

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml>=4.14.0
ocaml-findlib

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin

%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

