# Generated by makepkg 5.2.1
# using fakeroot version 1.24
pkgname = coqide
pkgbase = coq
pkgver = 8.10.2-1
pkgdesc = GTK-based graphical interface for the Coq proof assistant
url = https://coq.inria.fr/
builddate = 1577317499
packager = Felix Yan <felixonmars@archlinux.org>
size = 14057076
arch = x86_64
license = GPL
group = coq
depend = coq
depend = ocaml
depend = gtk3
depend = gtksourceview3
makedepend = ocaml-findlib
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-sphinx
makedepend = python-sphinx_rtd_theme
makedepend = python-pexpect
makedepend = python-beautifulsoup4
makedepend = python-sphinxcontrib-bibtex
makedepend = python-antlr4
