%FILENAME%
coq-8.16.0-2-x86_64.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
193538864

%ISIZE%
825311584

%MD5SUM%
eef927dc8366131083d1c82c46085329

%SHA256SUM%
ef18b7502c5a5d2949efa0366e7f191bd5941f74cee2d7016a5fdd6021d03cb6

%PGPSIG%
iHUEABYIAB0WIQTFpZWP13hfrZgvouxaRbBrgcq4dgUCYxhipAAKCRBaRbBrgcq4dlj0AP4sudc1BKBoEfyqdlp9HezHMBbxtHKynTDu9FfsUXqDcwD+O70jDmLsd6Chzk1BqqIKHmmuD7jWbFrjpeD1vaOx9A4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1662542097

%PACKAGER%
Konstantin Gizdov <arch@kge.pw>

%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

