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