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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1.1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
4014230

%ISIZE%
16911862

%SHA256SUM%
635b4c17861d838b7b536425696a5d21c8324944c8c5ec2128199a0949346d3e

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhniIYACgkQ87YHSI2zWkdDvwwA5g3OzGho9ufKfSa5e7irh07UGNFNU7976nMHX4sDpKps3Nh6XtyXXWPLBnXoUP0QRn9m3tgPtMFfDdPhdYbCH3zQrwSnEu99grJ/jCT2LhWyIJYw8POXDr2cg/XYYCQTYwBEJoQZcaYRnrUJjqcLL9Q/TuXo77Y0OX9ngAF63bI24DfI5FZNPGY6o9mZpj7aguMziAcuj+IFVLzbLb9I421uCeSsOfekagZ07BVwYthRIW1SqUO1qki/4t/ZM0xF9axb9mSTssHmWeNkg6mwiK0Fhk84tYuSkYHh92ZFplGLcerpYKrw2WuBT4oCkZ410tUovw7iMRg77xzz183dcHfpVRdAbXm7uyNF64IRrZarf5iF3zyA/wtN/tyt9OEXas+mJXtzOgxXF44/Y+3ds0N312iznWpbfz5mu7pdCrut27IepkcDcpHyoYfT6mDfctZmHj8yR0TpsshfbLh0j4aL5M8CctWtUhREwRNlTHVlVU7PlSeLnT1yvh9PHVgK

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1751615499

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

