# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = rocq-stdlib
pkgbase = rocq-stdlib
xdata = pkgtype=pkg
pkgver = 9.0.0-1
pkgdesc = Stdlib for the Rocq Prover
url = https://rocq-prover.org/
builddate = 1763335854
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 77530894
arch = any
license = LGPL-2.1-only
depend = rocq
makedepend = dune
makedepend = ocaml
makedepend = ocaml-compiler-libs
makedepend = ocaml-findlib
makedepend = ocaml-zarith
makedepend = pango
