# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.2
pkgname = rocq-doc
pkgver = 9.0.0-r2
pkgdesc = Formal proof management system (documentation)
url = https://rocq-prover.org/
builddate = 1771160091
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 156150
arch = noarch
origin = rocq
commit = a9e2a2dc46f377eb25884f7fea9834492de7f518
license = LGPL-2.1-or-later
replaces = coq
install_if = docs rocq=9.0.0-r2
# automatically detected:
datahash = 934b8056d3310cae238e71fc917bb56f31d087b2a222c3bf29b346d6e0091e2d
