# Generated by abuild 3.15.0_rc3-r1
# using fakeroot version 1.37.1.1
pkgname = rocq-stdlib
pkgver = 9.0.0-r0
pkgdesc = Formal proof management system (split-off standard library)
url = https://rocq-prover.org/
builddate = 1741929774
packager = Unknown
size = 77432212
arch = aarch64
origin = rocq-stdlib
commit = 6c3215ab191e75ea50b0b7c07cd717c0dec21ea6
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-only
replaces = coq
depend = rocq~9.0.0
install_if = rocq~9.0.0
# automatically detected:
datahash = 3baaba04c5e12daabc89e324528f27689ce02eee7a2939a1e5177566579c204a
