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

%NAME%
coq

%BASE%
coq

%VERSION%
8.20.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
204798864

%ISIZE%
643519825

%MD5SUM%
de4ce33c39a02b9837a79c7d148d68b6

%SHA256SUM%
4252d65e299b18ce11a64328bf021608952fed1adf4fb5ba78f979c591f5e681

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmcMGmoACgkQdxk/FSvb5qZodQ/9EQQg8UbOBQoBGYbgKrZGYCLPddZFuEN+tqSh1NWgPobtgGCeXdkUjpLlkY6yamblLB+1ZQIH+nijf+GpDgvlP8i9o0p1kdBIqX9bMKdZ2wp1q6E3/OLIbeIodH/YjvVfJ9+7opivpY3o4/QjD9D7lXqynNPslwfT/6omcf3UytEsXQdumjGTAlcgrJvWPR4ND4t7PxjxC8l6uIdboZyoQRJOFSU9q+Ugu721rdNVhRuiBFnrcstuQd0uVsjyD1tbNT31ZJbLLOrYSBJO37/Tjwi1hj5YCYXDe+4cKSgUJVfbR/1sdNkwzlSbOPPWXpDFI+CNGFMgaGYxFdad9eWSAzhSFbliIOOTUvtjW4TQ1p4PqqwpayDi7ylV375M6/zDtnA0BOsi04wNKeO6Y8UO6Fyr2HZN7TynJAcx+jVWCmEYZ2VeQiY3B5X9XruOHaSvY0XFha/V+GrpcVoN7PulSbgzREcPNchZnQvmcwtIMqrSNWdUs9AMF4UrFd40bWBBgt7MCoi2/D8PkS3VJi4wYdHDuF+bMOwqVL/6XtPNxwwbZf/HuPbp8uy9NMDCY/SqBa+Fn63LPTPKPyo3bMe5tpAa+qNjgY7r/1tzSTrWR9X/OgIyLZQw9e5QQHtExtnywKFsZlJLvQuK6JdseLwxc2ChA20KyhhLwksUPFX0XTY=

%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>

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml
ocaml-findlib

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin

%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

