# Generated by abuild 3.16.0_rc4-r0
# using fakeroot version 1.37.1.2
pkgname = rocq-doc
pkgver = 9.0.0-r1
pkgdesc = Formal proof management system (documentation)
url = https://rocq-prover.org/
builddate = 1761366694
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 156150
arch = noarch
origin = rocq
commit = 783634c1ed26a6a6949ab92942c7a02ab3c2eddf
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-or-later
replaces = coq
install_if = docs rocq=9.0.0-r1
# automatically detected:
datahash = 977052fc5815166c71b2519b9475ae8829abb91526fcaeaee8fb468583067856
