%FILENAME%
kani-debug-0.64.0-1-x86_64.pkg.tar.zst

%NAME%
kani-debug

%BASE%
kani

%VERSION%
0.64.0-1

%DESC%
Detached debugging symbols for kani

%CSIZE%
609134

%ISIZE%
5046528

%SHA256SUM%
c8a23950bb622ce8cbfbcfd8abe5d1e7b68f099de7f81b72e54f775b1e9f9875

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1751591194

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%MAKEDEPENDS%
git

