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

%NAME%
coqide

%BASE%
coq

%VERSION%
8.18.0-2

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

%GROUPS%
coq

%CSIZE%
2960428

%ISIZE%
14928980

%MD5SUM%
d897f18a00fa87cf26ee49c6bd0c9405

%SHA256SUM%
a856b1b9506ab238302bf8ddde69aed5b2689a2b2a1c93b6b559e599f643b2ba

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWa1LEACgkQdxk/FSvb5qY29RAAryPjPUbUlWPQ5n+YnvyHstVozEsFMiHdjXLRNTYuKHqx9EJzoTMzb/kLYG3Zq1H9LgyYhDCA+6U4m2dYRH/6wQrwEWsx02XweVghLWf5g/MSqxL2J4nRIFBxfXVHaspUf1XO1ogRDl9NbMAAtcUIRKEIpMJQ6nxNSvBaa3auCmzCqPlhSPw7siP1w4Y5/9xwy7Q4hToUQ7UVJghjyxorqARrYZlsXbuxMSpjn8x/ngE2t2yFGbaivGfiCL7zBez89GO5qjgppS1O0JwN3q1dy4531If6wis3klfI5MaJN5BfNGjTJfU11llisHtZGA+kKR40ijLBI5N4jpe8LOVHAjDat1aqOFXGRp7sf/6i2INzcMLTeQlHqft++1J9v8108iGZ36Jq+quwcwnKlC7HSWiwB2MnRdDMKoagxTsEyFuzR1JtqYAWkDndQnALJjHqpxBU7t36nxJ4L4GW7/QTFYrA3A8E0KretpxNPLE/kQFCNNDi0ackjuYeEQ+LCoBrAl9H9L9fflov/NhmDjLSKaTyHT7wD+af4vMRGd8ZjjVo05UYwSYH3Et2mLfuv8XCpuLVEeQ9VjostxUOsO3LnGBVX+YvRQMhI4YlYDNMr5qdrLj4CeTsEIUo1CRfn+BlTxMRBR7fTwr+ytztmkFqmnC7oKa5ds/JE8dHI8lGjZs=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1704644022

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

