%FILENAME%
coqide-8.16.0-2-x86_64.pkg.tar.zst

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.0-2

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

%GROUPS%
coq

%CSIZE%
2699675

%ISIZE%
12819903

%MD5SUM%
8a08cc19a4b073d08395df228f1f152d

%SHA256SUM%
5f2c594385f38dfc3324e8f9436e3a49fa4caf21e50dd97c068d7a214133413a

%PGPSIG%
iHUEABYIAB0WIQTFpZWP13hfrZgvouxaRbBrgcq4dgUCYxhipAAKCRBaRbBrgcq4dv0RAP9fa4r+ym+nW12E76749BsXMiv2PX5lh6Jnuo8dGU3+NwD/eoDzPFvmoFIlEjIgVWnFqqcSJlVQyC0gOjUuzV6UoQE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1662542097

%PACKAGER%
Konstantin Gizdov <arch@kge.pw>

%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-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4
python-antlr4

