%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

%MD5SUM%
db16c6eb92f9701ad61c1f35c50d367c

%SHA256SUM%
ae38703adf2be33d17d3dc3678879de355bccf8ebc1b49a25a3c1f6add86e152

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrBIZMACgkQdxk/FSvb5qYApw//YJ6qwnpYIKb/wPDdpAM+p+OdkKcNBIXAUc5fw3/4rSPySRfRWB3wPDzXSGxthFSAncw5KyBDDnkuzFeEZhl857wFmki9dR3iL/ZbiiDy8PlpVziTcYu8TAj9lCIkMdx1pZDKHB6ecj4AYVjhace+h3tOnWg2DVK65aDa3/91xluw9244JcRP4HoXzYLIepgVduokfZgyzXlSJmZmkluj+FtX31CiG1sTakwCwFLYvgb30vNJ89wkwbw+zsi0RwSNVXCWtBguyjDnyeSj8lHfYw5z0YXo9+lApdXV4wbpfCB301c3q9KwPiaJjND/Q5GKkFtxtPFzmGRYcGZC0D45+SylafPX2HuEyzpfs7k3jmETsdlCwVZcOUS+bqHrMFybksoyvwtbKsoTRvUhD2Ghd7TuhGeQdBpo53kGY+rKmo9trO1gupAH61Bbrxbf3x3RzK9RdDu2JSzPYUyuJ50WKZcjBTln392fTFs/YSlB24tXW9s4uz6210fHfo1FemNXTCZSOYsWGk5+5PRsaI7A/hDSjjucN+aoa9z3WsLnYNB9VGK07xX7UoFRXwak1c8ftu9QP++qniJUUTcyu2Ox4zD/YiMr4PwgglHGYqP6JIJCdDgyW392/+HC5/FGtPPZlxKR77hvCxxWXxXIB+jDv4H8m59my1Tp41S+b6nSX5M=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1791041306

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

