%FILENAME%
coq-8.20.1-2-x86_64.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.20.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
202236733

%ISIZE%
561759821

%SHA256SUM%
6b71778a0fafda3cfd95e2fb499b32943bf784863e9c2d6f85eccb8a22441275

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkUIACgkQrx0hme8KPM+BSg//SLufFd0mV4eORLviMYMYfaG640ousmrjmK/JmePUYgEJry0SeKCwIQgXAUixSduK9bBvMtwCE9FWNHrPmhcsBiWn4OmN9xNqXLaVigiv3wbaJX4/haNKniSeBcZORbSjcEt5/kpv1ZnmqIjtnVHodckw/ZfU9kXliN7LNyA5mbW2gO8rM842mIA645l+6ShNC+BtXMJDNgWowPasUFGMDUkXSqqSVoQdYj7FzFB+4QhtoroDml5AcqGsioSHSKdht9IVJqghDxEXIAU4xVpS0PjW85v/hHlieNEIGrWcLnkiCP0w1c5/U/H9ejkLHO7Xq0ku2WEweG3xFu3ftpVErWJU/0gnu8LyCOoO1H/FZtaGKGNhYgO/zs8n1syfUc4DALPOSkO3YYrbe9I5+A1yJvgCWNYxx8LdqUp/U8JLW+OhxaDBtylHMWer3IVnI0dakbCjxcCHPOi8+b/viiadIkfClEh9IUmjEf279K7n3NU2e0zY3xQsKT73l5UoK+PXXMAsDemDQxTA7kVbevvqqgfMtRt/3O1GQctEZQW3r4q8tzmCmPDvzqSvyV42sq9BEr+XN1f5p0PjBbGVFDQ/UmeWEKkbprprvBkK5AXabjl/WIsjbzQkGSTeNex4qYHI7ZpGI/vikvDpx1KVMoNmZf5LEviFcBRONEHkTg1Shyc=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1737405013

%PACKAGER%
Juergen Hoetzel <juergen@archlinux.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

