# Generated by makepkg 5.0.1
# using fakeroot version 1.21
# Wed Feb 22 19:49:34 UTC 2017
pkgname = coqide
pkgbase = coq
pkgver = 8.6-5
pkgdesc = GTK-based graphical interface for the Coq proof assistant
url = https://coq.inria.fr/
builddate = 1487792974
packager = Arch Linux ARM Build System <builder+xu3@archlinuxarm.org>
size = 7773184
arch = armv6h
license = GPL
group = coq
depend = coq
depend = ocaml
depend = camlp4
depend = gtk2
depend = gtksourceview2
makedepend = ocaml-findlib
makedepend = lablgtk2
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
