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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
4196479

%ISIZE%
16999446

%SHA256SUM%
038575e3d30ee4d5edc5bde98a1b3d461d867039fe092c573ee1a18044aedb18

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
riscv64

%BUILDDATE%
1751747781

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

