%FILENAME%
coq-8.19.1-3-x86_64.pkg.tar.zst

%NAME%
coq

%BASE%
coq

%VERSION%
8.19.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
202562750

%ISIZE%
626725473

%MD5SUM%
72e64e07f9e93f65ba529b94ddd12380

%SHA256SUM%
e5dce0b334b8d35281bbb2f0738701f304b76a7865f25c85f0e4abb4dd448e79

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdpkUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaP/RAAh/XY9/KwAOrTnFGJZ7sEihzj1lkVOB91oYewv0b0b6S4he6WB2ATFmurSi7/jrfJG4FUJN+58ugykNvHp4kFtFeHPOb87VuuYNnq0xvQffPLdYMDKuLyJiRqnlHPMRpf9sJDPGx2BPec10LLbNgBZB0OcjoL5J0SVyoJ90z3/He3XwJ7PV5aNJSN0e+7Tc8jVofqjop9KKEL2PRPtLMd4SKniSBx61wssgtgh4pN1RNLx4gMVOxTzrPHLgeQtgpyosALdX97c0yQSuIDn7lFatTEcrhYBzxR8BdgicXTdxzEa1mXqj2cSHROV0TtgcLBUbxyRvvnvRpK5o1OuIpGVHfTjg5vN15a5cSfokp6P63y6XE3IMUpTUIw81tA8Uae+Afq4J/zEV4n9Qd1Kr4HVnGnx8bkUkXnh3po+Fqrk/H8flnZyLGhILbb3yRBO4amZ1MaQ7WjWD/oaGV9JYac6vv2+WaZ+6fP9Tad9id/MKlSweLjKgxgkndy1bhS/5H5tSmYAnBuUO0WeGKEbF7MQ6EKFy5eCb8/XupoloqE6GpIcDOd3777RDeolzK0AdZDi4zPc2S9qrmQ3lKmCnUsvnDyCfziiKfqHKAi1OX7XBrRom1/LgOCvJoXNfBAODAd+maoRzT6f6HGZcajBpta2UbHeLNSpmJbLBvo4flvWAw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1714948389

%PACKAGER%
Antonio Rojas <arojas@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

