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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
5655504

%ISIZE%
16346894

%SHA256SUM%
9b31867fa4dd4f71de56ddcc32a6978f3bf50cf4d225bb75a5a45237d6e63866

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
aarch64

%BUILDDATE%
1764579032

%PACKAGER%
Ben Schneider <ben@bens.haus>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

