# Generated by makepkg 6.0.2
# using fakeroot version 1.31
pkgname = coq
pkgbase = coq
pkgver = 8.16.1-1.1
pkgdesc = Formal proof management system
url = https://coq.inria.fr/
builddate = 1681201627
packager = Andreas Baumann <mail@andreasbaumann.cc>
size = 754819970
arch = i686
license = GPL
replaces = coq-nox
group = coq
conflict = coq-nox
depend = ocaml>=4.14.0
depend = ocaml-findlib
optdepend = coqide: graphical Coq IDE
optdepend = coq-doc: offline documentation
optdepend = coin-or-csdp: for psatz plugin
optdepend = python-argparse: needed by some coq tools (e.g. TimeFileMaker)
makedepend = ocaml-num
makedepend = ocaml-zarith
makedepend = gtk3
makedepend = gtksourceview3
makedepend = dune
makedepend = git
makedepend = lablgtk3
makedepend = gendesk
makedepend = texlive-bin
makedepend = texlive-latexextra
makedepend = texlive-pictures
makedepend = texlive-fontsextra
makedepend = texlive-science
makedepend = fig2dev
makedepend = imagemagick
makedepend = hevea
makedepend = ghostscript
makedepend = python
makedepend = python-pexpect
makedepend = python-beautifulsoup4
makedepend = antlr4
makedepend = python-antlr4
