%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3v8ACgkQrx0hme8KPM9cMA/9FFBQtZaFo3yr2DEgSu1i982RMwxBaIE0c343qj+XBgQYjTA6lxtm3c5FQAVHRcoK8gU7zQgziD7MaChF8cCCtjK4ruQ9ca1ctrlJ1QNiNCSiFIC2Md9hj90mXAqLlCoKyNuyWph72YtAEc37YsVKTe8ebNNQorwZFAEoTs4NRaLCOm2HCllB6RoCizZnahr0TV0c8bhu7aGHibS2W/iDL35/bcjZpt2r7nOmRzKbJm4rzzJ79lI10B8kal6G73evvntgPBhWq1yDoKwSAz4ONsTuGpnNHz0dAsXcqPWc/DSOli7SeSzFrbCOE6nJRJfSuvL+DfSf99yoggvHeaLdifc8k90w7pIX0zP3BSUYPc5lqKa/4ocr5dgUGalh/TApsE9Vzh0z2gw0ONykh6ErNrJ5FCkRwXz/wRXgH1gb3LmN6lTlU+y/UcGirCLjq+98nScg9lPKf72P5HUdkXltpVxlXHgiang04DKxwkJPKw3AD49TBVzDKpc2hhgbByrJeB9zMvI2KookSucp2ikrBQPegPwUWMhctC9DIUtN1B+BB3j0202e0o3G5U6kWPQJrdf3aiwE9lDQ2nMfRdRbBZm6Gmkyu5yFeSurxy269r5Da+iwiNNR+x0Hg7WatnuLQZz2eZaobvGD8N92BH8ti+zhSjYZ3AYiZZvc5m45uW0=

%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

