# Generated by abuild 3.13.0-r3
# using fakeroot version 1.34
pkgname = coq-doc
pkgver = 8.19.1-r3
pkgdesc = Formal proof management system (documentation)
url = https://coq.inria.fr
builddate = 1714449180
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 188416
arch = noarch
origin = coq
commit = de66f1dc395e5bae5cbdb5a3d8c7dfd7b67ca5a3
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-or-later
install_if = docs coq=8.19.1-r3
# automatically detected:
datahash = cbb68dcd98c87e4b7815556ca15ed9f5b6fa2dd93bd6ee5993f8f4b7e5aae0e2
