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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3973197

%ISIZE%
18378982

%SHA256SUM%
644c9d6d09fe414f986a414aaeeedc27917e927753bd38c643d355f8ee347aa3

%PGPSIG%
iHUEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaGiWugAKCRBcdK4XC9oUM1dtAP9k5zNeUhrBXhap8dGGU/I2LmkVAXcaDTv6i1ReujoknwD/XQo4zPDcgMmoYX/M5w/RCJFJewrC/+oh+5rLudx1eAQ=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
loong64

%BUILDDATE%
1751684022

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

