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

%NAME%
rocq-stdlib

%BASE%
rocq-stdlib

%VERSION%
9.1.0-2

%DESC%
Stdlib for the Rocq Prover

%CSIZE%
20332184

%ISIZE%
80333916

%MD5SUM%
1af4202a16aa23124509e76daacd2ac4

%SHA256SUM%
d0732b9198f3158d298858b0b325ba45edf90583bbc70c59d34a1c4460762455

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmo596AACgkQdxk/FSvb5qZQNA//ZEx/eFIL+4rBiwnBEFY4lBHpwqorv2tQaSETiX6E0FziItqGrJoSsx9YSkS0qeESzM7ayMwgRPPIhy18dzj90a2UcjVYMRQIgnnY5jQfpl/Grnm3TpR39cPqLwMAGwMgBZVCJThsOVowynRb45Xms5dLTUkZ1BfQ5SIHHmsgF1m3dIZb+XDGhRoZ9LTFGDO2H3w7qRVh0sKfG0RqHs16fzw5feUd84KKQJbCtBpaxNUCCAt5eBuF5Rw4AH5+4hiGPLdaDXY/2sbPoRDivDCy08qXjAVc3wi2q3VbiZiNEfYKIIw8pIvyKyykHRU1XhmWQgxNhRjeC89pVRMjMllBZ+hr9I90MOSWCQLeTFdh+YIguX9e22oU8kh/zktNje+KFwHBHISNLddXXdvPztOVVd6DPn3DS7ZZ3gRRs1/E5kcHXMhnig15lDVIRMv3RQ1hGHKc4FCK5DLBEGuJ5NlmFc4jMPd99drERL+nCyhWL8CyNqaFiD+tJfSeJLUlHUj3EqPF5eNwd2M2UFeAXDAN18zOq0/BH2cb3BeSTZXwK2X3v3Pg3HweQHJXmV2Juy5Q8kNPm/CRJJ33SgQfwt5BnggzFcuLIWolKzw3lzhQjeRxRJd8aEqhfH+yPCGvT9CPCshq98W0FFsv3EpFOZJEp1YNBnYpzuE3HIj8QCLfY9A=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
any

%BUILDDATE%
1782183248

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

