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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.1-1.1

%DESC%
GTK-based graphical interface for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
2497963

%ISIZE%
10022439

%MD5SUM%
40e639cf566d877339d3e118b926be68

%SHA256SUM%
ead71f182a52ba882a66c1bbfb3ab255e0b18728baf9840428472d0eb48580ca

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HJ0ACgkQyOj1oK+bp+fq7AgAjuNE70/ToolZ5m4aWmVV1XOwQtim+QM25JhWzlXz2zXc6k6KNQrq0y5RfTL4b/YxlUtoxk7cTm60nd3FxnzttVGoyBDdA3H6uFm6gyRxajqikw9kWakDrOp21O6diaBmsiiAMX+b9bDXmGs8t46d2FfjAg0Nx7Jr8UXNR6FBZTxqIOhg5QsVq+A16wvz7XTc8gedE1weEwpWqWxiUGIPULo6GrFXbeFaGGwd2U5Jyzh7kBVneIWCdxikWiqM4oQsyJ4/aNRlAtQTHUnGHU38W8hWzwBgBsUP74rnduIuhkR7QG86jfm0vwQDx5kokncKROBy10EyOjg4EtADrD6wJg==

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1681201710

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

%DEPENDS%
ocaml>=4.14.0
ocaml-findlib
coq
gtk3
gtksourceview3

%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

