%FILENAME%
coq-8.16.1-1.1-i686.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.1-1.1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
191828535

%ISIZE%
754819970

%MD5SUM%
29214012d7f2db2e6b776c74d5c072a9

%SHA256SUM%
a5b35307b9d2995c0e577e250e4deede9e358030fd0e2178eca272003cf1d5b2

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HIAACgkQyOj1oK+bp+dd0wf/UG98rq8dYLkmC2Hunrn8Gxg4qVNkyaPTh16GtddLrLc63/FcwzrJL9kyzA1suCVW48N/W2Fz4Kky0R3sjbcrEa5WnJBc3zTyZCEEqMWFr50qiOTXc3l4x5taq+3QBnaAM695ROpE2ZsLPGHTBMEB19lZObR+fmCT6nuMTi3bkfDa1uGqcpfTNY8mAvf2G3fJa/ffxFFRomHTKM1oWOs+p/oX3lUz4cQGwDPBdMymiK1qo5EGgCDPdL1dTX4Olg4ZvDoT6NWWwHj8p9CyiP7Tv7uN7uP2yLdUMQYA1iXteZsWqKC10lEJPN8oMUmnjv4CXb45ld5RFHsJDETtSucLrQ==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1681201627

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%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-pexpect
python-beautifulsoup4
antlr4
python-antlr4

