%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

%MD5SUM%
bede26696a33d97b50e62e87008ea604

%SHA256SUM%
6af76463f748cae440bd21660bd0cbfe63eef285d84cc02e1e36d8d64b935e6a

%PGPSIG%
iQIzBAABCgAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmhnhyUACgkQ+DQkgks+S5CS4g/+ILZISCM8LH4BvBA7yCX0PABgrJZ49XnMfwiPsR9D/3vzk1WuWkuGKk1XD3/A+9/gn+YaSxwrcQZEl1P8nLeAMYDN5GxF71lNQ/UgL0wZbvs2NIZmq3xK+JbVGSwdAPjHQXSgW9/iBj2sGv39P3yGizmbAVoOn8wRT73F1pkGs4WcgikEUOSOL9OyT2VSnaepDT6J1MawFJFZePZrgw582kf8kgqhjNvWufmiu6AhNap1jdyeUiTJ7tJhl9y8QRwCEdDU0DKrhc0PwL81J6Ry1PsNRY/10rQU99lOpmXJycpWJAzZNbHyR2glU5ntYR5MHErB4cM1oMkQkMrmU5bNwBoDw2D2lKMqT+liGfSOy2OWGj0LDjQrukyw/CDue0mOxO+nCuQdDh/GzPrJ1+1z5FXsZg2sZa8a09+cqtXOzo1KZDxLlAvg3xTFWdSL24+kThPDiohHI80g0GnA0b2NjaXVvkhwnmQAapEyIcmo8wIMek/QWJGk36AC7aSId8jc6uSXXu68YPSHascAzScM6mv3tjFjiLP01SerP+tVK7aYZUUE1j42doVh6yogsEQXzMGxWPf5SK3juRI2Bhym0ke/SRIPCv/OrCcXjgdHTaL0bboFDKFTx7VA5vNJNK5xB0eORrzd04qESdrSv9jaVWBH9//YHPaOoWRpiTm75zI=

%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

