%FILENAME%
kani-0.64.0-1.1-x86_64.pkg.tar.zst

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1.1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3785002

%ISIZE%
13292726

%SHA256SUM%
1ad8d99996fe7f9074f6ddfe0a0aaa495ace424456c56018f24029c6d5c6133f

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1751624494

%PACKAGER%
ALHP x86-64-v2 <alhp@harting.dev>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

