# Generated by abuild 3.17.0_rc1-r2
# using fakeroot version 1.37.2
pkgname = rocq-stdlib
pkgver = 9.1.0-r1
pkgdesc = Formal proof management system (split-off standard library)
url = https://rocq-prover.org/
builddate = 1776986834
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 80307075
arch = ppc64le
origin = rocq-stdlib
commit = 864e1b2385c8e4add6c1bb711e3018d5f0df9cd1
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 = 0f168362ada8de868c5d26e5e3aa548d1bc6dcd30d8236ca7cc4e98a5010599b
