%FILENAME%
coqide-8.20.1-2-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.20.1-2

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

%GROUPS%
coq

%CSIZE%
2682324

%ISIZE%
12954303

%MD5SUM%
6ca0309b0f0994c218fa497148fe5bbb

%SHA256SUM%
1be8690206403f06abafdaf2b01a54f210cc408f72067f0ab24c0425ef82d5ab

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAme7K0EACgkQdxk/FSvb5qZ+pBAAjO/mhJhQQtOG/WQDzGjc3BotUhBzFVU/AdLigThfFxpJw5C1Trc5hJmOMT74kCTl2ZCAW/hJX1VDqoWh4f6u0+jg/kxKFsBHgxqlgBwPKHKFd5bQLxZrPmm/7OuDEHxYVg/NPZm4HAwLZMKA98/Pj+wZ/W27FSwz3UEUdHBv0EVCNAj+d0EyNGYQ0yq9JZgO0XQF3qphc6Cmh37nBFMmwQZCH/D9kT6BCMaZvrPlrLzpNM5AeQKi+S0oGYmupFhuDgn8nwCfA/UKLtiJ6JaHDXV7J45UzXW/+bMdPBRYgS1tY2gYjSV23Aho/xrEpBSup0qT3NtC5ncNNt0ymef/QdcnE2VKIrXVMNgolugnt2iY0dfxyDTtmIwZP72LMWYqnp1vDemu/OvwRvBmSQhIJZThyFuaLdj2pZNx6NHMp/TedkoAQYeuW1Z0RxoYa8bHgAXuOkROMEUgYAkNTFzMlH0pMzUOtDVeivS4HQGSDhSg+FjFQ1jZjQmi5o+wgkBVVcm805ZJUvCLe6b088jkIco4mY0XdrO+AnOPn5kOLiAp0QAdXMe9wQwoOmS2IiTOrf0RelTj8g+7fAyDeiSWVq0axnAqcNiQ8sY4/ErJVgrUyxAXZXzpK88XsfB7knJ5KKa6TI7QT2oQLMBzuswqidxIzlQOuIUbppcPEb3znRY=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
aarch64

%BUILDDATE%
1740318548

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.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

