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

%NAME%
coq

%BASE%
coq

%VERSION%
8.18.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
209073924

%ISIZE%
666915993

%MD5SUM%
b91b9f016a0b1ce39fa11ca35d6de9be

%SHA256SUM%
909f92919976b0ed2c84a422a781b6e22a61ed23b149d4a4903c38ff656061c3

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEIMACgkQrx0hme8KPM/FARAAnk7TCE5MIGq1+F3MnWfTXeIe31FhmI+S4Lfzcuc1brq5+ES4BmOJGO0ujepS5teThfmnwVSfiGeEw53y7Hru+dZo8caiXCCXPM0dk7zCqYRExhp+38cPA30ogbQGQs2TIcxtdskL/pFVMZpWnNBlWhGL7e7eitBw5fR3oK8Dm0IdWGUA1FJtyIhh+Zp9hI8SRNWsDjv1QDEWa99pN+8q6N2ytDh2GX3WQNcXSDH/2WYluDgxqr4RBhDp8HXBQ9zDA2jbiYpXUY9stjcTnAIU3NmEVyis2GQg8xsxQsm5G7kHowTnjeThYgZJFgQT73QqmKnaMM6guzfcOdx+p8lhBWLXLAa5usdYgKdfl1N6njuLXDhjuje8shDewSQHIicX4u6hB1LKH8+3MFsdsIzUI8i5HT4aOyuyVOiQOGNPn0O1V2/Fm05rwI/Qzv5gip9fXO2H3qIdhtT1g2B1wbblUaN8SouGKwZ8S1DsoxWeOlJCJJEsuSDVLhexD9SYwMTY8UVYb5/DL9VN/kbNrAItJsUkIT/up3it/N18Qg7pd0AGl6OlpwbjaHYVzcl/EXp5t3khUb9GBc6nKY3k2cHgDK4x9BU/WKyIdMveqbTdzo1gx/xHHDW3H3U7rPNVD13o5z0W36i6YugMXcPR5tM/z0xMegg0kOspv8V+lEc88EY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704634483

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml>=4.14.0
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
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
antlr4

