%FILENAME%
coqide-8.16.1-1.1-i686.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%
2494112

%ISIZE%
10018611

%MD5SUM%
9e9aafead3bc2f27602db2212119c6a2

%SHA256SUM%
0ab9a297047e9b6e7ca16b3c4c5812418ed56d7eb6fc468e323078b47eb2c18a

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmQ1HIAACgkQyOj1oK+bp+e0+gf9HxKpsW7pK3S4yoh+100wZctcRKTZAUYdTbclwZaFjDej6V22ViX3JOn8z4W6wS3zra11N9dP1y+XPhRG8XR1nRv72TQLh9oozgQ3oLZCm3ZAXQIEAX4vKvxTHMXOK1MoSoEzShIq5aoaw0X+n8xVjOmTR7XDrhLWZlLW2z1AoPwjcx2+g1uiGh0F7N0nDMN/x8smq02h01/aOq8e1uZlk2Frf48EAJGoHdk0YIiV6/LWmuxkwF1dJSpJbqKTUUGWAHWsulFb82wg97k9SSbystmtnv3kpfgW2ePzb848a7BQYZ8MbciQFjI90M9/U1Lyaypcx0r/il0+WYOwKe6/nA==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1681201627

%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

