%FILENAME%
kani-0.64.0-1-aarch64.pkg.tar.xz

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3407072

%ISIZE%
16215822

%MD5SUM%
e05604d8ae22185580772ee2e832b4c0

%SHA256SUM%
53bef8bf4e65f20e7a626b6f25f37de87fe945051003d07be025b38b6e88fdcc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhn8a8ACgkQdxk/FSvb5qYQpA/+OPEeiAmrI0Yp1yiSRBUzCLO8/Bdzlu+7qdWm/2CjvipRE3qrIhg6fPk585rp3oZa1XJHdlxNqIfSofG39dAmhbb3DVhQi1dZnuml6R9Ut2CiMpFPnSuCSz0cesxRZWHPxFX2RCihX3PnYLFdjgG6br7UfvGm+bFSwq1kiaeTHDy8qzYRz628S6RMXJz+87MfYkrsZDwGhxpuw/plrg6zQ2bThutEiYKPeaAkpbLCchGl2t3vS4RMHvKSuSbuNllKlzz4uvZiFApKFUHbrZ+msYumld8KyttdPgJQ+AM+DEoWJZXVXZjQqoM1fzJSJGvkqfVuomeYP2q+EXewjuKAJLw9Dr/Zrqz6AD+9CcGP0ATC2qVKk26tMAOtCn4mPrAZpzz9sbWSmE3LCQhp2+RTgAqMk+gJ8mi3dTZ1LGuEYTd9b/IVkOE3paNXW/N/LUXDJfGCVCPvTf5WzWtDq3EVfuKEz2Aynoex+ZNm1reXOdaBX5vSXs184njkqMSHNdiQxE+Zf8zV1BeLqbxpbQNnhy1eGHsObunsHBOrK0N4WKPyGEClcjJA+W9cW2H7ku9gnJnhZ1KOcKwrtF7dNh4NVS2uJsD4j61bLbLvCWusW2DYFjV/w/1L4p4r68XCjPjnOoqpQb5M6KFZV2d3ogCCmAdIJ465idFjNdGvRmCK5RI=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
aarch64

%BUILDDATE%
1751641692

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

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

