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