%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAWMACgkQrx0hme8KPM/NKxAAhmn8ej1UNAPLspTCpmUbIJIoMJ5tKYK87BP+nE16Kuj/wqi7idU11Gyqe/c8CJkfkGBBmJdx2E4NhFN94wQHTlmJr6OGGUoyhfZT9l9vDjkxGt1hnQ8qNUP3qYuvJuOFq9B0o3PjLsJU92PHG7ESf/HiF0s5dBdCmJhjfTdlzY9eKN55l1ZDpLIhX717kmtLbaNifYaX0ZDezo2AVgubRJFW3w355oRzoy1AcFpYd2ZDNkL0i9W6o6s3hLdJFhUbzFdldeBNCKBrCDe2ylkKHPBltizPtq2eY/FTUaEnWm2eia3by6JggwSNAMWQZLCldhQomG98X939Hg1bZWBdsGvbP6fwd4hgcCU8OyzYMWEggBLrEbuf3Q73oE1RFDS142Si2F7ei0tTB+xiCee104JPkbr0FDMFD51oumVEtOTHLj+VdSgk5UToxO1ACn/ZOUkEjbw2lebwCOGHluzLnw5yn25jlWwjP/7mMxtg/UF5GkHHPlDLLcfvxWM+89cq8Z2h4zcI53XKCGrutX5XgpX1KPlfUxeYzgFhXfOKDSjCvRMLipg4xJGtAGEHhOQL+ViMOEZe6JVGYVXkOr/wl/NoLWYunz5t6YvAoQzGz6i/MZ8kcDCa6XKjHQZOcCAUCnp9jSTL+qt3A1TnqyMPn5L9LQJnEHXivjmvqW09rZM=

%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

