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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.20.1-2

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

%GROUPS%
coq

%CSIZE%
2293094

%ISIZE%
9309879

%SHA256SUM%
045b36494e59ed1befe53b4713c38a9c3fae0416b72bb55420d9d921fcef71ce

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkTMACgkQrx0hme8KPM+v5w//T08oTFN2MI/JM4/hBQNzWZoM4gSPb3nbW5hanRyEuRHYzpNTq0PrT2NbceG4s+evHptgiywvgUhu9M9Y5cK/bsVldPTxDiyxE5rvkOHQ+plrVY7fdHbZVoMd+yd+hu3x1Y8LQP9fD3k0T48c60mbAlH+YVA29dDNpj7rn8cDGwm2bO3eO19C2HxSSCpQVJDV5vXT8wmlTOW+W8F6Y35xdFW0YAjst+Tefk9Pzn0n473YI7cc2CA7veSdCkdV9rp2nYAw231XEDhoWseaQtS9br6BhIidHxRzzwyma5Cc2s/JlvCGhSZysfp5R60HQta89t/wvGwfi6w8LmpMEGRcNZ89fDE7mljKGpqnDSPfI33Px5YflnfaXUcIzRt6+sTOcuBVI9eiyOc1tQZSEcTbo1ZaJm5IuKG5fDLXLeVA3UxMkM4oZNksJdjNxeCRKo+9AIBDfTjfaByfrSTO46rIAKpeBhTXgN2doG6OnvkY/UHNSYIEckivTa0C0yzHHs+rcm5PZISqsyM0BQ7d74Oc2wIowPv6IAID8dDcmwRcl2YGr1s1YI6AhDAa7fqJLtZEGblya8vMdoqeSPDCN+bY6Lzb+KrXKmDxoxOLUAsqNn03UPhT/xelxToi16UnUYz+S5k77UclM+RfqAsOyUkPTPj5X0lWH3z6ctxZ3N2wXNU=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1737405013

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

%DEPENDS%
ocaml
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-mathscience
texlive-binextra
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4

