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

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.1-1.1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
191593750

%ISIZE%
753950089

%MD5SUM%
8c89ba366705ce11f958fef99650a4f6

%SHA256SUM%
9510af562e7051673d5e623288908c37a24e460232e3e56a55a79ec336126a57

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HJwACgkQyOj1oK+bp+fReAgAkBAk7pAHXx2w2S7qfjc9uThgVPGh1P/GQU/7iCyeVH/PmXkJOdGyPiVtKhSRK+dNXVPa4hzpT2ZDSOQpE8FuH4J8S11Yqa3rKMs+lkSQIR/f5BvChEDQ86wnrOxdr4Ls9m9KOZMUXtQS/qQrulZ1wgjNAVlrI/rOlWThq+tIiBjBZ1Qap5DVACTEiX7Gd8+n+Qa9WV9fxbrgDSCcbrFzO3K3ANta1cCDNcvgVnoD7FtDxN4PCWJfKIbAqq81xsHV+JrJOPOIplw98p2oveJHCN5WXlrO1z7XasuCkROFRt7BZboyhaRHrFhoqq6w7/oZ1r96nOQccjnoj+89cv/O2A==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1681201710

%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

