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