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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.1-1

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

%GROUPS%
coq

%CSIZE%
2695500

%ISIZE%
12823679

%MD5SUM%
9cac12e7ac728572b3a01421e453c42c

%SHA256SUM%
cef0ccfd3f03bbe3c394704c61c06bd76ad6727ed6e351ffc16d63926c1bcb09

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoMACgkQrx0hme8KPM+CUw//d+DZAyX8g4BaQEkFRveJhGH/2sjQaJBoFEXyn39/BEs8kFRShgiuMUTrLJ0vZ0+JLVXs6X8wk8duktQbWH+NKikCyfIDPRHiJuDhlE3TeZeVeiTtLNyhLNLs6XL0JNzMryeXGFrQ8SWydLOu1X3hqwpGWIWQa/amSZX19ksjqmUQiDLghnoUCtFLzDfMuUSH7bXMrXdvs1lX0L/BBzbg+n0S+aWVfZ9cqu1ug5fhQWU9rGqLV9ADKT2SMGli5FO3cmfqxiYIFsAaSIukMTCPAG/5QoB54/KZny6b1za7lHut/aipRbA6wYIcmoAXTVI9rG350+bCyFw9nQBSbN6ZTqpD79/P5K6oWhAE2FSUoNrCmGL6an6HUr+Ski8VduqbZEqAqyvlYZdrLv077RVN0PO7g7BfZKEbnJxHopcBWTSGeil+gZtlcVfKDmFXusl4EVbGekCOipwoiKu4dGVMhfQ1m1QuZGPLnbPgBRG38ulpsGARUj6EPSlzCOMC+7Wd0710CRqzIMppqr/MRLtn97aXsk8mOv6iHTeBQg8s7FIbstWov8B2lBNO95GUrLxN/yTnrGiyyC2c+wVof9ZcifhgQawA4xbI8fwDoce1sSdVZ2Hf3t1moRlQOgNyxD+ZvG/hR/T/5TA7eVbTLEeb33pYyqh7e3yXs6WqRLqCMHc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1670326533

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
ocaml>=4.14.0
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-science
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4
python-antlr4

