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

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
182011367

%ISIZE%
737971152

%MD5SUM%
fa5583c949827499f6f8d2d8889e3f21

%SHA256SUM%
b67ccd32ced85e42613ab7a709ab40afdc1238a742d1bb1f0f3c142072d72570

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMeUUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbEBBAAoIYi6aDTnxynIdK0d5aq2/BSEiMG5F9M5sWfa6R/5pPde7BF93kxiB1k1DDP5fe5tX0HJa11Zosm3IkCsw0a0TG1earWdgA3mBMjxu+Zums03DBqkMZfpxZWmTjBMSpFNSJ0kk351CEHxe7KVKVAKfqzniUfsudgcKWq+hhex4r8uctEeyAtnPie1+nrOqY7PlOBPd8c3PSIMWSGEe+/CeDrtIPFK+/bjO+e6M/moZeEMvpp/8/jg93gZ+Af0sT0KOY0p6p18mPy3o9i/riSMzY6mMTauH58QldHNUC7OM5GNJ1uYxu5I6FKS8tsie/73R2IbDeohU+/H9BI/1V6bxBrtUwwXyBt3I4EceIXOBFh3Ukf2fSaRrlCt7OIj+v3tLWesofKl8MbA+M5iiZlDGHi+cuQmva13wx9+qsXEE72njyjRJSlfWVHY4hb2qjZqJGD3nYINHQHcL7v+HCV9FwPmkSTq8RqxiKhY+K7C2hPalCvcrwonf38EVeERozG5/Qurcv9p66ndtP3zzOXn0iqtMbTZw8lGMQRMv6BpCVnAZNu24kZRNB0JmFFWIbdYkiX4AKRG10/T2bQe2zSCTCfm90SqTO6/cjrysNJzj+UwGFJ9m03vCULpj5EThUTouBf4WdtAQic1q/qxi0G6rWhDwFuOYZwS/I+KhGorsw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1646749050

%PACKAGER%
Konstantin Gizdov <arch@kge.pw>

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml>=4.13.1

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin
python-argparse: needed by some coq tools (e.g. TimeFileMaker)

%MAKEDEPENDS%
ocaml-findlib
ocaml-num
ocaml-zarith
gtk3
gtksourceview3
dune
git
lablgtk3
gendesk
texlive-bin
texlive-latexextra
texlive-pictures
texlive-fontsextra
texlive-science
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
python-antlr4

