# Generated by makepkg 5.0.2
# using fakeroot version 1.22
# Fri Feb 16 15:05:40 UTC 2018
pkgname = coq
pkgbase = coq
pkgver = 8.7.2-1
pkgdesc = Formal proof management system
url = https://coq.inria.fr/
builddate = 1518793540
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 275538944
arch = aarch64
license = GPL
replaces = coq-nox
group = coq
conflict = coq-nox
depend = ocaml
depend = camlp5
optdepend = coqide: graphical Coq IDE
optdepend = coq-doc: offline documentation
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
