%FILENAME%
coqide-8.13.1-1-x86_64.pkg.tar.zst

%NAME%
coqide

%BASE%
coq

%VERSION%
8.13.1-1

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

%GROUPS%
coq

%CSIZE%
2522774

%ISIZE%
11833652

%MD5SUM%
777dcdbfc63efe0d340ddc493e6b6cef

%SHA256SUM%
144cbf27e2f74b0e1ec58c1481f6094f00ea0855fbb220c6b0cad0e64a9f0c83

%PGPSIG%
iHUEABYIAB0WIQTFpZWP13hfrZgvouxaRbBrgcq4dgUCYEEVVgAKCRBaRbBrgcq4dpOVAP0SEuqr9GYR2nBFccli/VKhEStAo3PapFt25lDlH3UhpAD/eEWgX3U1ueksUuNoy+aoDHoOp0p71aDTQ5fyI4N+FQM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1614866497

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

%DEPENDS%
coq
ocaml
gtk3
gtksourceview3

%MAKEDEPENDS%
ocaml-findlib
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
python-antlr4

