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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.18.0-2

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

%GROUPS%
coq

%CSIZE%
2850103

%ISIZE%
13398948

%MD5SUM%
c642dc2e4b3d511226353941264d1614

%SHA256SUM%
9f40f1467878f451eb2a1d2b33d9a1be68482ed64d0d0f9b053d2a000b36b02a

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEHQACgkQrx0hme8KPM9awQ//c+fP+dESoxJXV8l941oMCKPCi3QL0HbIwCjf+Z2JmMgLYghGJZXgqAFGHwsPwZ44s4jLlQsBnsW1MtqlnSQv9HdYRAqUSaKlAnYHplFJ5w7/cjYLS9XvK0/SO9Lphs4gdfxkKTAXTb6VOxnOOGpxoJEdOZrYdQQBoqyFI0E506ctF8Z+G/TA8thrTpWFA9Jmr4tUmeieEW259ftBjG9joT4Y46I3I5lW1c0Ybe70THZoCyytpcFWmsYCuVthPJVXTZzCaWULDa1ahsN4iv7XndNNSA3jB7rHjv2Fcm8YhUxVQHFmclAjj5H1c5A139t1yZx9zHGOr5qwm00ugcFDPi7pvNvBeHaMmEQz+jC08r9D2jJnK3rfyf+3OL5uT+oTkQ4tIT0SeR5NVjv88uEfdW6Epb9MqlsVCkXNAn/rrQNtKbkoDVNJmakbl6/SnkwHii9WgrTv0vMumb6uJx2EYnnvGRoMlsDGCVs6PH0ez637O56X2S9dxRNqNiEtVSREMiDxXTJzW/Im2vLxXoSORhIicJfS+Zdr+i4zNhlR9cJcg45Jfi5SSIrkoF0XhhwMTV3pAyZ8RW0DmoBLvEdp2evjmCY3u8Ok1cHoRULrBlNEeTSo/Js9Z/Pe7fNCMlz2/tj7xnHOC+gsYCld+eqUn4ZW5+hSx3e3jHVsJhPyprY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704634483

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

