%FILENAME%
kani-0.56.0-2-armv7h.pkg.tar.xz

%NAME%
kani

%BASE%
kani

%VERSION%
0.56.0-2

%DESC%
Bit-precise model checker for Rust

%CSIZE%
3133920

%ISIZE%
14027166

%MD5SUM%
c2ec08b97e34d2a5f9f9e86ef4339221

%SHA256SUM%
546728651fa3bb8616f5080bfbeb7b6ab92724dae137c2430839032832c881cb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmczbzwACgkQdxk/FSvb5qZckg/9Hl2YaQYJ4210+wiMLj3NR5doiTgXS8n58UBu7uZjmx8oRLMJKR63v+p+OaH8ndzOXQ3sNeL4hIKdulVg42gNi2iMWCj36y4nbm6Lc6yIv/LEKH9bzeEHh6iwDXhs8H/dIan3sdr7lWJpYs8JFcaW1NLMu0otoKNruTexJqI3cCXi+89PyyfgGRzLPG/S1ckqwFwqNfGRN6tSyQl9toylIl++GwM+/2uMkUNLCTUuPrcQmv/6gkLZ6kBNa8+4Nja+TYTok8WNbaa68jwVfVBI/buHKKJ2TACy9ajnKP0Bg7OdzPAUSb/awDl9NRaylxAqC5SrWFPhMkGblLHVBrpU1Sf/wk5ifygdfOlXtKQ0pKdOLZJypvKATo+H2R/6IpCpTS8TZ2v4klqFrbwU+5ndWaaHDICZOyfTPy4COIpU8/XbU9S5TBVX7TKDF+6NRugdXouOTPLgnhg6CxuP5mCqrLY8GMsOQYVoEbJbzvfBEdbeGilghRmrvt2Bq0viHfYM8B/erO9nbd254sk9ld5yEYUWxjH93bEjwyq7QxMjHg8I1VMV6VHVrIWut9HDpaxnV/Y842829BGePurXMdQjU6Mi1c6zafjm4e0rHpabRQudUiZWQ2IjQfwIHE6/JQq0KW34GxbyXqItsxou65waq0IeBWyjw8yQdpNEqTzXha8=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
armv7h

%BUILDDATE%
1731422950

%PACKAGER%
Arch Linux ARM Build System <builder+xu0@archlinuxarm.org>

