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

%NAME%
kani

%BASE%
kani

%VERSION%
0.62.0-1

%DESC%
Bit-precise model checker for Rust

%CSIZE%
4033029

%ISIZE%
17874302

%SHA256SUM%
2f5a4d21e86d9744c37884c91a14d865c2b6da3d1a71fa4ab6b016c9e688dff9

%PGPSIG%
iQIzBAABCAAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmggb7MACgkQ+DQkgks+S5BkiQ/9GyXG/+S9DToJC4LORBf5Yqtb5SWNLPDMj1asAmvmicL0wB4tKDXk9GFYJyQTPx3ncm0ebgHRKzb6kQJpZ7cIm+dSpN+hw78F+YQBGersUhroEqDoKhrDUHe23PND8P4flNoPM4ozO6ARb/R6tPMweghuWrDZ+z6IwXgezqddr5i7QdGId0bbwyMkvZaRBX/L3QFNxzvZC53L3Ai8PYgvgrM/zp/78SMekHmUshH8qJfqmv2yRC0bM1p0gKpTWfuAPKYlgVDYmXT7rC1HTmamxIlqGvaHk5xqwdr5YtBeg1qSvD/NFKUB6dM64uGA3lWNhMkpFSVz6spLIcMNUx/LorqXb3c3WDzN8AyZ3IdnsXPTKMDILbTcRXRofXxNlJFJRTPEPuN4/5VH76ipFZPLqxumxH4wQKot3ktGxKEPvECTVxzAVk3eu/owijDtciNWTx15WhZy2YyA7wCZqkuA6rOi18lq1p7AVMfJhtdIbSHLde2q317Et+slXX9ll0Z6iA+nZ060XrBNPqdST67VdEQx71ZqeqA8M4UiztdjpXd/XnYfwd91tpSjUGhX3C/kv/glwLwcz1fHVr4PRsv6yI/rgaYyl4zIdpsT4K+5E0j60G2842U1iYD59xSrRp3ASbDFiYS4jf7bdr1Uo5/tdEn7okxSSB8Pc0QSdz3DF4o=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1746955945

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

%PROVIDES%
cargo-kani
kani-verifier

%DEPENDS%
cargo-nightly
gcc-libs

%MAKEDEPENDS%
git

