%FILENAME%
coq-8.16.1-1-x86_64.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
193351565

%ISIZE%
825339046

%MD5SUM%
d9a63991ad442eb1f6aaaeef25e697bf

%SHA256SUM%
53a3585f33595b68ad83a313f19ec02eab6f9c2a2c9fcebc4ee33f72d9cf4d72

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoUACgkQrx0hme8KPM8W4BAAo+Bt6tlSrkuY6bNFal4PHQk/tTTXxcsmy16okRhHIJhQg3y+E9BETxd8GQFeOJWE4gDzz0QZsDxRk/652zwA4tOxypfb8ufqY/fjcXPMlbBVEzlvt7hoKqW7keNuy0UjbmuQY+8Jd7T90VZ3qM8DXXVkJTSlIHfVtw1NJfBP90vHfn1ZrTiEMKGEFpDDtxdu6IDENCnVlTNYtWcknz0EE2/oZxHJwXIF3et42IzVocwWrGOgRWc8SmgCr1lQOKwYcdxnlfFYg3q5XvAJOglDa6NG6aVYX9b7k9MXSN6KVCkdi85ONYkXZkASMxXtGT6FvMXdcq9mKOtO5rkanrA8uAyGPTzhE+9a8W7IAvOgCwikJnX727IztM7CmVUiJ4xAWYGxXUreXDDyqYa7LcOzMFQNrZWzd4ivxDlPGHnya2kSkPVRVOMJ/NTqymTBhug1kqtYdQjbmjzx31w9tJABJ3YjU7wmdZUvusFOVEqQsC5/cL3RdksWQtJnOc/GF9jpazItrK/wqCyM0zPDpImTaMxpltOVMGSyP7ii21WzO2U1/urGHJGXJz1vSjdxqy8rG44QWrNrBe0fJQTk8oKh/MVDmZm3LTcOx7fACkTVQ682uR3CTt/eNk56tzhGR5jbK/oqNFvBvwCpaLyrAs3l8JTthY0eTjCkTYYcm4v6yaQ=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1670326533

%PACKAGER%
Antonio Rojas <arojas@archlinux.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
python-argparse: needed by some coq tools (e.g. TimeFileMaker)

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

