%FILENAME%
kani-0.56.0-2-x86_64.pkg.tar.zst

%NAME%
kani

%BASE%
kani

%VERSION%
0.56.0-2

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3947908

%ISIZE%
17782654

%SHA256SUM%
2e1a0685d78aac9021ad02c43ca81a7f7984b145ed6e363d3e988379597752fc

%PGPSIG%
iQIzBAABCAAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmczXDEACgkQ+DQkgks+S5DnXhAAr2ook0sLzxczKVS6HfTTJcpQc8KQGfamm+nMEEgGKa4kCdnz0Lcd7IVOfRF1ocUB4oOJ53fR4VbN4vp7mKgUVpxJpIHEW7ZI3h0zQUeJctxou80af6IEKnB8x63/+RcrVAVl0iRlsJFa2DGITcNnofTygrCOp37k6mGi5uTH6jDd5B51/jvWIfd6tQmg9oBvHZx9KtKL1979lpPgnhvbE0I6iXxSJMzSxCJUJXpYrc9/afKcAOm5MUoV7nBX6JdkxfhXxUeY3qjq9iExFq2Cj6zaKZkJap4B+kegSd+txggR/ijzGBjbtcFIPcZEjjT3Qanq5o3RKPsz73nDbEM3KLU5M+NUF2DiE7+2Bi85UKBSgB8sT4pw0ASLf+UzNieY6q7wKO992yD0SExSr7pgLX+xKZpog7BHp8PpfX9MNIpTknSZkcdYiguWphoEfyVINGoYzb7uAkmVLBwDeVKJy3gdFlX5yDJ+HJCnMRZM5Ak6YUMRfQgyJUXfE4gxpYVw/f/l6f7JdN0UbotAFRRVxSH/EG44+et3cneyy7M03nHoKt7lHks6hhLZwHoavIprgMbgncyBq5tjFc60cJTEGXKhoA/TmSDs6ykqW/zP9lR+7M+woE7LbwYGwf1waws5qa9wI5OykdiDyGDVj306AFVf3ZeZVd0ODdHiWAPs0Qc=

%URL%
https://github.com/model-checking/kani

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1731418338

%PACKAGER%
Orhun Parmaksız <orhun@archlinux.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

