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

%NAME%
coq

%BASE%
coq

%VERSION%
8.14.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
169323488

%ISIZE%
673374747

%MD5SUM%
80ec953bd2e72971ab5a5bab9244e2e6

%SHA256SUM%
aeea22f7848325c191e53c64bd4f272197bff6c733e09558a3df28a9d100020e

%PGPSIG%
iF0EABECAB0WIQQ1W9uX7Uck5rOkUOej2VYqWJh0qwUCYbSZ6QAKCRCj2VYqWJh0q8iLAJ9bT5psy2ZFcDy5V5MOK+B2tr9wnQCggHVGBAFLCfJGAfik8xrNU7KGIsE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1639165859

%PACKAGER%
Juergen Hoetzel <juergen@archlinux.org>

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml

%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-findlib
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
python-antlr4

