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

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.0.0-1

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
19592568

%ISIZE%
77530894

%MD5SUM%
19e5998bfbd1b381967533c43008db33

%SHA256SUM%
69ea8fce22f6ef0f31283e16734601689e87ca2940cbbe7e4777e7aa0b243b63

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmkaX74ACgkQdxk/FSvb5qaf9A/7BKevP9vu2NJJEZ9mGgshEomE/AOX5sQmv5ZiRrmkqO3HUF+UZkn20QSLsFJotFdzMEgrmYAWHcETe0X1h8aaLSTIK6oklR1Y0KXE3oTq1KCvybIUIFsSc0yyyFbDV1pAsQ2rietMRZW0mHmTzv32I3/G4VRfpgrDtmq08NvVWalZJ536SnUP/wRT5PSqwYgnTWXzgZkLSYkOa7dHOYWkeXA+GtnQV8cPVpYN7pbKnrp1/y+6ubDfB+WAo3calS9QiNas3beilAS0SgFj0Y8d2vD9n4tQSooQmjuxGCBaQBNzz/yxaPQxJucuJH1w7XC9Ncq85f5BQ+yUX3YP46IDlalQ+D6gu7KuTffS9RUw6t4ACvqUyzZ+xl0kYrnJSGL4UeSfO/6tf7VD/C6je1oQmuquXwW7JyyB+EmTp5bpmjMrMrfYT3r7jfzxPDc65mNV7Bdx9swS478ejsogyB72XGhcUEu9FpGOpE/NSkzE3iyagwY4a0LIDEUHT21FBwlVJubq04vDFrkPX4Ry7/kNOGMyyJ86tT8aiNFJj86Isw9EXahYK/6cAUgt7+W9ALlXAdq1881Vp0GAkUNsANT1dW1lxeRH2Dzu0hBrM1shW1lNaM4/sl7yQl6Vl4L0+y9MTmANeOeHGZCjTJh0FU+k25/97RxP+wFAGKi2eFVlEOg=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1763335854

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

