%FILENAME%
kani-0.60.0-1-x86_64.pkg.tar.zst

%NAME%
kani

%BASE%
kani

%VERSION%
0.60.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3970345

%ISIZE%
17708782

%SHA256SUM%
16d2c3dd72e603015c41a29e91a5b08c54bb2024c67b2b2aa6a44d7b6f93aa08

%PGPSIG%
iQIzBAABCAAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmfKLKwACgkQ+DQkgks+S5Bb+hAA0i/oEtz+JS4zw5Ll3p9sEf1t0I0Ay/j+6KUJmTtC//oL4FaJRkVkLGH5i1dI9ZBFRCK+GjXhxe81X2Pa1rGWnYNMzTlVrlheCMXxz7rR/sBmMKIQ7WrP68XFCcNyD+w8hvoU+8gsDRaoh0PX2XComwgwOz3xw+r6gSy7jdsKxlxjVwcyzY+tfiuUA28SgeKXmRd5mZZH9IrcW8fTBx5iDFnHrNziQwbqOfjuNxDsICaLnqxJpjgD84QnOXyXLItLAKVsBX4eRJ2ceE4oCfvoocfnCcVN4HCw2SjYN6dvqn9E8eglKJ9L97l5JvsSdtIZOj/fawdYuODFJwnvbU0HB0t4NsNPc/H/06dogOhkZGifawhkGeo1I1MmCctEYEKySk3q9b05FSkGu7Ym5eYVU1ARNFR2dEgYMvcoaQa+vevIKTxTeAILCbaf9zZUvflCxmlBFickicGieBi6RA1uSKJ08tJee3D2NCcyGdA6KS2Lo7N8L7QXVxTfQoREO6of3F+M1bqFIQHWqmS2GKv94nnarcDxaVitwkTBjlGSM5YdPSX29GS1wjMQKTN++nIV66b0SeRzK6arOmEAJ4D4gNZmCV5wbp0fc0DgcGS4x8fujExaVHIyU27QD/Ky+YEKn8VmsOMPEf1VuW/q3g9Ci6ngUE90LFsldXb6HaMmzMo=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1741302807

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

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

