# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.2
pkgname = rocq-stdlib
pkgver = 9.0.0-r2
pkgdesc = Formal proof management system (split-off standard library)
url = https://rocq-prover.org/
builddate = 1771160091
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 77432212
arch = ppc64le
origin = rocq-stdlib
commit = a9e2a2dc46f377eb25884f7fea9834492de7f518
license = LGPL-2.1-only
replaces = coq
depend = rocq~9.0.0
install_if = rocq~9.0.0
# automatically detected:
datahash = 01a5b6bfc1ba18df7a1a24885d48e1a332616144defec1f178abb0ff13c0882a
