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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.20.0-1

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

%GROUPS%
coq

%CSIZE%
2265663

%ISIZE%
9252791

%SHA256SUM%
2e2ee0c11d930aecdd2cf7444f6b341d9dea613ecf82b65e3b750f2591ee1360

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOkEACgkQrx0hme8KPM8QXBAAtc1jq7q1OB82vNuMxrVA7XqOH6Sn7hCEkJK1qB49NFsgqmvmGh/ocNGQEYnvaouuNt9sswJNEvk7/Rj4W3v0Wpd9G9SHsU2W/9Wu38Kn/6WxiF4vedxfbF/4wEnEm9zMMFSA9jjnqmnKatde2l0ALEPHiD6J/s0DXizOypOoUVVV53yN0Y+lZVkPr89jJwidydXg9IYy8+5OS2H7lq6hUUhp2OZm3QaRuAjKWmBeeX5s0JE8qu9vXtuQbV6e+1p6K27J/4nmzyLLQhi+xgdBcv5psB8O4347I4iENn4yRMV7G+5/oGhVLvvqPdLPYOtfBvzJZIbLQhV95B+WZJSJegvZxXSNheIllS6dcuRx+sIrxMa/x8QQsTuy1Y7N+dV+kIDWbzm+6hDzWubTsgi8TTHhWu/JYkBqqOeR25zti6KVTCWlju8a9gQ26pbv+k3DOkuz4WU/OWFbBcvgScmt+6W1ghb+smALG1m/NHX3dLJZNP9iRxZgQlKziBoWzbdHOu9d8qJnqZlMLbE/ms2iI+3jicZst3BsawQn6WHmd1C57nEvC8T0WIiK1urjebUuWTcRALzhafa7+jjqIWi+uV1/7ecNxIo9hGG9WsFtM/fshni2COctk7LERv5uoOVGzVjFGAACK3PN8OCwwOU6QtA51FdSJeHxks6Jmq3jcPI=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1728836187

%PACKAGER%
Konstantin Gizdov <kgizdov@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

