# Generated by makepkg 5.1.3
# Sat Aug 24 13:20:56 UTC 2019
pkgbase = coq
	pkgdesc = Formal proof management system
	pkgver = 8.9.1
	pkgrel = 3
	url = https://coq.inria.fr/
	arch = x86_64
	groups = coq
	license = GPL
	makedepends = ocaml-findlib
	makedepends = lablgtk2
	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
	depends = camlp5
	depends = ocaml-num
	depends = gtk2
	depends = gtksourceview2
	options = !emptydirs
	source = coq-8.9.1.tar.gz::https://github.com/coq/coq/archive/V8.9.1.tar.gz
	source = ocaml408_compat.patch
	sha512sums = 66344f801b955d1b6daf3ab1d704551070c95cf9032ae74f15fb33f7ec313812b3e05c0ec277a2eb448e3fdfd9721df06d36612e2fb4928b6530d70147f1d983
	sha512sums = df50beaf50e8ed6c208682327634ba0c656d041598d9a81d762ba07bba01336b769defc9deabe0e37c66deca3bce8c418c16da26c084564c2147e55b646508f5

pkgname = coq
	depends = ocaml
	depends = camlp5
	optdepends = coqide: graphical Coq IDE
	optdepends = coq-doc: offline documentation
	optdepends = coin-or-csdp: for psatz plugin
	conflicts = coq-nox
	replaces = coq-nox

pkgname = coqide
	pkgdesc = GTK-based graphical interface for the Coq proof assistant
	depends = coq
	depends = ocaml
	depends = camlp5
	depends = gtk2
	depends = gtksourceview2

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

