%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%
4190121

%ISIZE%
18344038

%SHA256SUM%
1862e3745a50cc7fe1bbe3eeb7bae4c07482e45fc10e7e04e7a7e49e55a5df8c

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhniOEACgkQ87YHSI2zWkdfwAwAn0VAwPYqthwc/FhFJwDTG/hxAjA23H1urrTH9f2HgRcIm7yyhbCk5H/YOcAxTPLPyv6eTaTtvXDHBuYLzgntFdvWg30L15nTTDAkHxX4lbyhTrSBhvmEtkGD+SGg1Lsjd3aC22wdje7pJaTg3dLOwEvVD8ehBdPk04vT3qoyFb6IfFA+geggTD2gGyrEt7S2xNPPnUZxR+0b1VpWIzCyi3g5bLFeBcuPn9gDd9L/ok2xD5jSuioDu5y8lRSK+xxfpEuwBAfp69LjVmzqdAJ8uZ8YI+I5WDvO/Uoo3xIKYBjMz3XGQVOz/WmZsS2Ovvk8vLiJfQn6b2MUfz4gEmpJJ/AJ1+P3oPanGI8pY+HuO+yMv89Ol48cv1mdMocUhSIpqer2+jauGqaR7WbGDj3GwI7bR4GtQCh6eBJLR4XNvvCx5PFUI0kZ3Vhhzsoy4+Q6a/CkSTg0jzGtRusqpbu6vUq2ixinMJSsV4s392F7e9D2BQobP66mopVycG38FkST

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1751615517

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

