# Generated by abuild 3.17.0-r1
# 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 = 1781698320
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 156028
arch = noarch
origin = rocq
commit = 41bb837115def58044be4c0c713722592214f614
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 = 390afeaa44d9bcf1cd8297cecf1b7fd5b81e8371368f8cefa7f2aa2bc62edd7c
