# Generated by makepkg 6.0.0
# Tue Jul 27 20:07:24 UTC 2021
pkgbase = coq
	pkgdesc = Formal proof management system
	pkgver = 8.13.2
	pkgrel = 2
	url = https://coq.inria.fr/
	arch = x86_64
	groups = coq
	license = GPL
	makedepends = ocaml-findlib
	makedepends = lablgtk3
	makedepends = gendesk
	makedepends = texlive-bin
	makedepends = texlive-latexextra
	makedepends = texlive-pictures
	makedepends = texlive-fontsextra
	makedepends = texlive-science
	makedepends = fig2dev
	makedepends = imagemagick
	makedepends = hevea
	makedepends = ghostscript
	makedepends = python
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	makedepends = python-pexpect
	makedepends = python-beautifulsoup4
	makedepends = python-sphinxcontrib-bibtex
	makedepends = python-antlr4
	depends = ocaml>=4.12.0
	depends = ocaml-num
	depends = ocaml-zarith
	depends = gtk3
	depends = gtksourceview3
	options = !emptydirs
	source = coq-8.13.2.tar.gz::https://github.com/coq/coq/archive/V8.13.2.tar.gz
	sha512sums = d5c16689a3a08d9be58e15d502e5c9bbe13ce8b9755334d1c096307260a804eeb59116c3a7b5fd85910e7f468ee728c69d04735769998a6e6369bf5352f5ec05

pkgname = coq
	depends = ocaml
	optdepends = coqide: graphical Coq IDE
	optdepends = coq-doc: offline documentation
	optdepends = coin-or-csdp: for psatz plugin
	optdepends = python-argparse: needed by some coq tools (e.g. TimeFileMaker)
	conflicts = coq-nox
	replaces = coq-nox

pkgname = coqide
	pkgdesc = GTK-based graphical interface for the Coq proof assistant
	depends = coq
	depends = ocaml
	depends = gtk3
	depends = gtksourceview3

pkgname = coq-doc
	pkgdesc = HTML and PDF documentation for the Coq proof assistant
	depends = 
