%FILENAME%
coqide-8.20.0-1-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.20.0-1

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

%GROUPS%
coq

%CSIZE%
2690156

%ISIZE%
13009351

%MD5SUM%
34fdbdcbb728eb552fc302ead4b9bb69

%SHA256SUM%
52dd13d488e104594a681b18186f6d57e8245d19dc5828508341750727256383

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmcMGmoACgkQdxk/FSvb5qaP7A/+JtNKxsan3KmMV3DfWyIpuuL6WATuwnpnvTyp2H5IxKuO28URW8HIoOBk0lsujwoMFV9qEhNdOX9WgGZLmOM6w8zQ1arhiqcphWIzNOhSvXaSz2e2qqQ0Aiznh1f8XUq5iyQD0ayAX/YJw5owSPD6H3FqZmavg3JKm6ZhFliR5vUBxGB2FJ/38slzEIrn0leI28/4TwWzZ+eDsXLVMFFjoE8HW05XLbIEZNsUZuOskn8GMAzMcit2JiG1S7B0Ya6WOPTBR65nG1pxYHcviSP/MBs+SWGwpLS1LkPU0bFQROSdhrfa5Kxl74eDhv8UyHDB1kdjCUha4DeLRZ6RGlKXFq9+xFXo1JXXI6INmyPriLoLjoko95y7CZGfKG2BQOjf+EGSj3dWdkQSBUwbJXSuW3PAxnjh+n0nMZtMk4HpLeJpWnTzz5vWov/nHbZnTUf1d2aVewKN1wW+44/fDWDCthmJiQzJJGncZ428tCoFuPiou24uDmqX6r7r+lOETtEhzVzOgk00TF+QpV/mV+1gGIRHOWIkKV3u3zhrhyWhqpeaSVCTE9/ym+/sNfL7/UjcJ0zsM+e/XpuUw+EeF3IpR1KXoGxW2iGrD5G2gt5MFq7PSzcJ2esxcIftaYYZqgVxgCIZOBuFhapXcEj3ZDQqBtTg5IcK2ZU+JBDdxUu5DI0=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
aarch64

%BUILDDATE%
1728845137

%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

