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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1.1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
4018600

%ISIZE%
16924902

%SHA256SUM%
a57d1d43d31f9ffb68cc319244094c29fe786d0121af2498c5d9ff1cf52c1f04

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1751615498

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

