%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn36AACgkQrx0hme8KPM9+wQ//aaBg3CDDjhihkpSkRAS/Fmd14kb1AtiNOv6AOPrw97FBXr55vVsT2KQC59qALjTotT3ZcVMmAqj6CBbO1/ZXSHBX1HZzViknssTgM06y5F8AkvEAqBUannzfzoacvoRfRBK2ItfhA7SlMy6ZgLyVp+nIoZChZPLSLgA7PIt/tYozZZ0tZCASZcJWbJMWfINz2XWbnjk1F0RdAwS7fMtT5ovVV7lE+cumsgQmFj6SA5PUsRzWbBNkDKmw9Dm4cYqdM8+hnoRjpP/JUH0Hh3esXmI5JLbu/u08bgwCJ/Nbd9pfElM1W64y410JApJgB2x4Xr37gy9OXuyCaUN3KZkUqKJ4jmel35t7ypaiMc86/ok3773CWFyon1Ny6+yVl4AYPJNYUcM74x2YTFjFR5lmui7JmDAM6ukgztOL/z1IOMpGpLQdwb+GAy1mziLKup1ZeG+KTqDL4ss/4zT1CNEXoZ83/dHfV84CVq9T8LKvC4B4Hlvtt58aSOClRECQI+R+g5buVXc/WSikHJkz30c/BiCQ5LMcXFwETtEAKV8TZtNEsgq4u2B3pC9JKCRhAozGC8/FEIsfpKNOsbc/AvsoRRy1iJdlHLsD/jRsd4t0KAc572iwghXu8LXPi8x04jq1Cvb47z85pvxMC0oi3Hjf7VVKZS/gizLuCW9sWSmIXZ0=

%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

