%FILENAME%
rocq-stdlib-9.2.0-1-any.pkg.tar.xz

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.2.0-1

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
20138924

%ISIZE%
71493879

%SHA256SUM%
ae38703adf2be33d17d3dc3678879de355bccf8ebc1b49a25a3c1f6add86e152

%URL%
https://rocq-prover.org/

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1791041306

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

%DEPENDS%
rocq

%MAKEDEPENDS%
dune
ocaml
ocaml-compiler-libs
ocaml-findlib
ocaml-zarith
pango

