%FILENAME%
coq-8.20.0-1-x86_64.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.20.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
210818220

%ISIZE%
595810660

%SHA256SUM%
240c1e1c2a503bb189aaf07d0bd57ac9a5e196e014bd18f791a05291b29a94ae

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOkUACgkQrx0hme8KPM9rDRAAyarJV96mmhEUlQDtghB5NKJ8AN4s0KCincB7e84kH7y7IEZ4ot+ELbv0hVR+p4dSX+vmGkZUxcAVh0GNeBUvgVnRIMPh3ZW7QfrXv4QMosqnA8XZFKl1NxMneu+RJz+OqIgZh5BvwBmz3bAY0SD7lxNuKuoM7uEOdGwh4ZuRVvViqLMwz0bgz7LmutxiMNosrozuIh5oRMlwRIJPVFTFHpgz/4MhvnXS4/ik/s1Zvi0FGytF4oWgWW9yDHej2rXd202jJwxTF2IGZbDTnYqvdTTPS+Clt/kT2+bFiEMPDINKwlhQuoESHzlBoEX+ZsIpEQPBC/x1ct7pfV/8fv43OED/pF4nE0waONUcCVHH/5gxzqUdPkpAUwSQyhs4I1nOCqAnmfcJrNfLCSro+TjrsMeuM4Gf9U/+/6lfjeKMS5Z4eUBbFxgrR6W432oolwHo8q+RUJqBSBteGcdWyUdT54AmGHcubySw+lVKiD2JYnzTVyvA7wAg/g3cCpH9iiFcQbuSbg2dF8nHnUHcKoff3RMdQfMCGK42DkOS1xG1csQziXE7xJcPe8SGcjVXaGf07STvLiAjUqmwCVew/9bTnAWgx2mRavUOgVJGNpREVBrclirust+BUfUl59WqNhmcRzZgzb78PC5ZWV5815Wa396w2kKK3ft4yIiloiK881I=

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

%LICENSE%
LGPL-2.1-or-later

%ARCH%
x86_64

%BUILDDATE%
1728836187

%PACKAGER%
Konstantin Gizdov <kgizdov@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

