# Generated by makepkg 5.0.2
# using fakeroot version 1.22
# Wed Feb  7 02:33:20 UTC 2018
pkgname = coq-doc
pkgbase = coq
pkgver = 8.7.1-3
pkgdesc = HTML and PDF documentation for the Coq proof assistant
url = https://coq.inria.fr/
builddate = 1517970800
packager = Arch Linux ARM Build System <builder+xu8@archlinuxarm.org>
size = 75656192
arch = armv7h
license = GPL
group = coq
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
