%FILENAME%
kani-0.56.0-2-x86_64.pkg.tar.zst

%NAME%
kani

%BASE%
kani

%VERSION%
0.56.0-2

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3947908

%ISIZE%
17782654

%SHA256SUM%
2e1a0685d78aac9021ad02c43ca81a7f7984b145ed6e363d3e988379597752fc

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOo8ACgkQrx0hme8KPM/8IRAA2BjvC9slDnJY9pjsQiAkmCYLC7mMW1ARt+hAthzacm/Awtp5DLmkD75N5sw3XC4/sIIehI6YMRaBOyTOOb/CpEXKQOJrmVQJNLB56mn2a2IvfkL0JepE8SqdsFbXkucnE6l4ME69sk9lBX+P4eu3MUUZZ+/CCJFXkmV4aDf+xIcd33SaPaBw28wlov6lOQFO+Ki5ZZu5OG7Jbp/lPmuq7o2yJOgR+aBHdVyqwU45Zd2+lmmMpyZGudDvk4ybC/6dnb0w3Z1bKyOO1aSKffqsyX0vWy2Vr3ijF7BvQxfSpHAdUF+DOryWdrHIso9fQEi5jtRlOl8e7VpO+l79nPKDqfIeQBxlcf7ki5RNW828NK0+roTAqY/cWHLd/t8CU7MrivGP8x6/DiW9tMr8UXN7TlnhQEzxr0ag9FCsknIyXvfll+MX/NvfI6XjbOoePq+3/8t8LQwLyZ9dvv6pxQWjm/4J4dl7IabonvnO22H6r1EUONFrESXKZO9ISkymXVC2igNs8kwM56Qh8w4Z9FkZlzETIvZpfcbQoOrhjpqsgYjj2pAOrwH2NwoGlnS8dxbVR8Yyx0geB7fC97eQXPOl43cvN0aJHWl+7oCm5fm9nG3Uk6ANItRAlGsHLKAmWV7O9QhgeNFUFB3aGgacs55UwvsgSG3sXwZ+Bcf6fWRPgII=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1731418338

%PACKAGER%
Orhun Parmaksız <orhun@archlinux.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

