%FILENAME%
coqide-8.19.1-3-x86_64.pkg.tar.zst

%NAME%
coqide

%BASE%
coq

%VERSION%
8.19.1-3

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

%GROUPS%
coq

%CSIZE%
2546919

%ISIZE%
11062753

%MD5SUM%
bf6023d9cb44cf68dfe6e096a14a6e8a

%SHA256SUM%
c418d941272cef2d985483c4e89145e4bb7c7e5726d7609531e09aa8340c2f88

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdpkUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwabmhAA0z/8IJxHwO9AIrkeu6a2EtkFlLesWi95j9IBDJNsqDcUJlYL2i5ZxetrNNWUebuRsyvjPrdd8scgXzakJ1o/PmB0BzQkTrGydw5JU/OWcWAPMSo/Q6MYMsjy1q6ch7Yqs5yuoXFG7U2KHarF1nCvFcB0Scok/SqLl1rRW6EpSqcfOvromOOXFYr9/Ryud/CAzVUPAxkR4IOJvp94rHiXI+Lx1PpguT6RIoho+7nLLzudh6YfTv8SV5lnNznchjT4nAvisHNOCPIhJz3AoMZTNCBFrGZL30bntczlnrQraNvQvpkZirUKkpv05aLJhYkUvcJMZN3fXUkemKlB9bbktHJjUPSXvyWR84kCrzzFZQZ2uncGWeGLM0hjXvCiiezYZ3z6VWdaUDQuj4f+Odg5oHWxC/7B924RkiuEOmLjUN/aYN7ga0yL7b9aRji28I+HzQ/CpgQykREPLULaxRF8zpkcoN+A/F1QrGooxnPGwHNv89razpqvqal82wO/oJHomKEtr+/WdSIPXYLGIusMAvM26eXFDt66st0Ar7H4v56Lf8O+35tzyjjyTrg9y0NGckB8N1BZSSO8GZNYA1MbzpsFn6oqpr4f48OAlyyV93FZ9BJ+4C5nNVUrSLH1A8bROaPnckzeStJJqXq/jc6ngMku5qA92G4D3LJ1FAhA1mM=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1714948389

%PACKAGER%
Antonio Rojas <arojas@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

