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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.14.1-2

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

%GROUPS%
coq

%CSIZE%
2249476

%ISIZE%
9691316

%MD5SUM%
72049589ebc1431cd8193c7d7d10adbc

%SHA256SUM%
b8b3b0c7f25ae470a3583f8ff429145bb8be55d49b92dff9f809500bfe5c2449

%PGPSIG%
iF0EABECAB0WIQQ1W9uX7Uck5rOkUOej2VYqWJh0qwUCYbSZ6gAKCRCj2VYqWJh0q4R/AJ97oCsDVzQ4ViWeKqbM4BNW4/ytEQCgnEYrYmRgiPLAiKivfRvIlqfco3k=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1639165859

%PACKAGER%
Juergen Hoetzel <juergen@archlinux.org>

%DEPENDS%
coq
ocaml
gtk3
gtksourceview3

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

