# Generated by abuild 3.16.0_rc4-r0
# using fakeroot version 1.37.1.2
pkgname = rocq-stdlib-doc
pkgver = 9.0.0-r1
pkgdesc = Formal proof management system (split-off standard library) (documentation)
url = https://rocq-prover.org/
builddate = 1762503809
packager = Unknown
size = 27492
arch = noarch
origin = rocq-stdlib
commit = 878866a2b7d24ffcdbba96ed3227b433485a84ca
maintainer = Celeste <cielesti@protonmail.com>
license = LGPL-2.1-only
replaces = coq
install_if = docs rocq-stdlib=9.0.0-r1
# automatically detected:
datahash = afc8de1bdf974c6f5a133575ea4827ca5d5d6d1ebd7c47365784b36abba3288c
