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

%ISIZE%
16924902

%SHA256SUM%
a57d1d43d31f9ffb68cc319244094c29fe786d0121af2498c5d9ff1cf52c1f04

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhniIcACgkQ87YHSI2zWkePVwv+Liqghi1xUdbZrYf+mFSVvkw7jFiXG53UjpE8pZuoRZbcfyKZ+RyJ0BtesrYLuPkCcdpWEebFyBxKH6XkhYazgLRblsRPXLJ4ucdd7Dsp8UjRZCiTz8FSH15IQjKltjSZI26CRSb3ImDj6G6ZdbtW0/2jPGiTWHOWMyCtmLwMekyl2HiqVohQl98TF1V+qnivmR5Vizzt5nUsqeOkNj/iIsG9nRateo4befYr4XAJY0x0mEpG1Zn91zKQjbbw1nTSBT1y29PNrr+XJFT8OJ4OAUa5THXrEW+v4Qu/VBu4jp+lzdq337JybW1E+NRUfwNNNPq6SpM5tfN3HRQNZWZ4LaKVhrhdTizyeGkxyTf3XS0Pn70GKuW1zcXdXbGnxuGFZg/zv/hIw2NNuDCBwTJ4sK18/MJhYkELDd9alYDawzfoEthnR3fvVFDBDwDAebwjyigEuirY8AakSorvOH1MdWMqW3njAOOKJdqfbgBp3IlL6xjDml5UPJKnFR77kyEF

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64_v4

%BUILDDATE%
1751615498

%PACKAGER%
CachyOS <admin@cachyos.org>

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

