# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.2
pkgname = rocq-doc
pkgver = 9.1.1-r0
pkgdesc = Formal proof management system (documentation)
url = https://rocq-prover.org/
builddate = 1774425948
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 156028
arch = noarch
origin = rocq
commit = ae0d2a58d16d7c7755bfaa8eb23c3e736076a781
maintainer = Wen Heping <wenhepingalpine@sohu.com>
license = LGPL-2.1-or-later
replaces = coq
install_if = docs rocq=9.1.1-r0
# automatically detected:
datahash = d2e674146e29296fca0c53f05275ddee56c1e83dddf34dd4cf5f1db522bca921
