# Generated by abuild 3.18.0_rc4-r0
# using fakeroot version 1.37.2
pkgname = rocq-stdlib
pkgver = 9.1.0-r2
pkgdesc = Formal proof management system (split-off standard library)
url = https://rocq-prover.org/
builddate = 1785346493
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 80307075
arch = x86_64
origin = rocq-stdlib
commit = 4af6ce50082db0344aae2c3294e4021c0a87fb08
maintainer = Wen Heping <wenhepingalpine@sohu.com>
license = LGPL-2.1-only
replaces = coq
depend = rocq>9.1.0
install_if = rocq~9.1.0
# automatically detected:
datahash = a11ae45b27148efc46bc1c9a2927ad2bb6150e4a7fe025c73fb607e83179d7e4
