%FILENAME%
coq-8.20.1-2-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.20.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
197038900

%ISIZE%
613189126

%MD5SUM%
45d321c6cb484a4b14238923e6466f40

%SHA256SUM%
f59e58c98c4c01aef2b794d7972f5ff8853a41779c7e3d7c4d6e03fa46f52418

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAme7K0EACgkQdxk/FSvb5qZF9xAArY0hZ1CMD5qvO59ZeUu5aptHYz+YNzpnU7kuSqesy2/KZCFaQ8eyPRhMU96wyV5WSNlhLaQJrPQ4GhOz8R+0Mm9+MjgYjrKQKQk39w1Tz1BDiWwRf1HXki5nKjSTGZ3baFqCHAX7SRaNUrKA3A/TZfEgvbhtQ4vL+2FbmvnFs45sYvJUv7npxhy7M9fl3I7RRaQEVn8KqmQE0RMIZw6yx/19kwSUP1OBbgZqDBxMs+Pfoh7SbHt3tkixOegX1TDNZGSa2XCrxoTLEVHTrNbXtAhOhoF6FyOF8Q3XC0zS1CFpWP9UZXRaOy6F5oNjav3MeBlWA49HseJ3Ilx0s0LjIrCfn5jFDJQS1TAEl5/5kHwS3+Ap4mYyaj1JUNFRDLHF8y9jc5RmlP7yaLt8nce43k/y/vNONxei+6qIfLQvA4a5jeHUYoAPyiGiMNEkvXpwNtsZnAW9q0dVsAyAsgdTiaXbgf64gVUdtZy4sMaR9zrkN4P7xGnsEWTJ7tzd+n1a6CuFmZ9MJEdQhpXSGgGjcM9d3G56dMY+SOR1SGByKwgDQ9qFv2WOp1+CjkGBDvCI+J6EfhZR1LzQh3MW8ctHyZ7DkeEMwXTXY+xdgqWWergadYjTW+avtwzyou7M09ibzWrnSJhqwSRgGwEq1x9yuZzqNtcFWq7EBWyN56n0Mfc=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
aarch64

%BUILDDATE%
1740318548

%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

