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

%NAME%
kani

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
4059501

%ISIZE%
17880238

%SHA256SUM%
6af76463f748cae440bd21660bd0cbfe63eef285d84cc02e1e36d8d64b935e6a

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkXQACgkQrx0hme8KPM8ydBAAoaJhzMV6heEuJs2GG50hItqvkZUzHHnVk4LMsYtTiIrGCmrBFvPFBC5owoeTv+1wOV/pjuS6P1/rQWV4o0upR6xcK8FlBAYa41szAUaCW9fUh67mH1vqIde38pR+XvtrKVjVdJYaybDNphV7eNVZ+Je6LgdbRDtmB9BhVLBYLykhe5nGq5a3nuQRhwvnXA7Hn9mE6j3+OLv8atFqXOPThaozGyflTreZ8vmPYisaQ/j9ks8BpPDhZ8ikzvKizkWp+1+zM3P/PYaC9ZlzNNhIFIlVDMmineGRbwFHQSbouTpcUs9AJPKSgjJ62GtB9tEQQE9QCfOd1hObonCGbGUisT2ONjkpGGiAqF+Bgns7Zw6D3F2gVQ8o/GRSHwHe3bAOuzY3mG6+hQEX7b9waUTdBdvxBynmkEmLppR88j+r9IF/aVBGKFBo8BUJjYmspjfa3Ji4D3YnylNjb59f4CSiW226PxB64K7mFksJfsWBBb9ZIMyaqjxdlEXMrB/xaZwao91znnav3SoRjFA9eacGFEtPQWDsRkzQinW4Dd3IJpRmQa7DcNfgBYyD7n6PRJn1F3mXzuC1wswi/f8s/5sNoGZVObKLJD8ZCkLvRhmUHf5YXNpZTxGQLOXSjOc2eGZ71auTkI5Tyacc7/DkuI026Otj+Yexp7bXFZVsqWPs04c=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1751614983

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

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

