%FILENAME%
rocq-stdlib-9.1.0-2-any.pkg.tar.zst

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.1.0-2

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
23713925

%ISIZE%
80333916

%SHA256SUM%
f3149213772e3cc593ee777a9b7336c64a4d31dd107ee8630a11b85b9fcaa765

%PGPSIG%
iHUEABYKAB0WIQQgmjbUPOLofahh/FhTnf1IE1GC7wUCajmJvgAKCRBTnf1IE1GC7/MmAP4sXu21AOZ/zWW9SFTPLBkWdw+oCcePjB7K6gCaXeXZMAD/SB3OzqiWBezLBKcqMrSIv6nGC81+ukj1F/GYktY+YAU=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1782152655

%PACKAGER%
Juergen Hoetzel <juergen@archlinux.org>

%DEPENDS%
rocq

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

