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