%FILENAME%
kani-debug-0.56.0-2-x86_64.pkg.tar.zst

%NAME%
kani-debug

%BASE%
kani

%VERSION%
0.56.0-2

%DESC%
Detached debugging symbols for kani

%CSIZE%
607357

%ISIZE%
5001240

%SHA256SUM%
cdd13b6ebf2717cff25681273865d775c7a3d00582fa6baab1b5c45764aa7a23

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOwgACgkQrx0hme8KPM8EGRAAgJHSK4yZa4CWL6EOp6IRhS3wjdX94NTv1U/+ylbz60iUpnvT6rDLILyrba9x/FIsTEe7IngfCAUjUVvJJ36tbzRii6KTD3HHXi03F2pxsMujogIbVMgXfbo1s+X3pzRqLr0alAFEvx/1YDEEAlDqOKjwko4+pqtXGJfostOu/rI2oivRh0x4WCNp1143naIVlUeGw2plupeqm5dtjR9vvKeXEesse6ONAygCYHRSMmY9yEd15V6HU1z7jhwHoqYmAnb4LyHUf3d8G9hlEapRj4nIqPFwoCcXckpKxmQdtfJBYj2FZKxio16QduqzOXnqf3ZqGMOjvnMXLwzeVI5JF9SehLBw6Tiz63Ax3n/xjL9kZCsif6bAgpBotG7We4EGDfC8aV8bPUHzisTdq9FdlGN6vjFrj57icKdyUq+18+dXfEDIwhRPDqHSEX012q0aQCm05LOSqd2yDcP2fkRg5UOgj4iPZMi3xQTJYEeIo3ZhEsx+qN4xoZXIrRLWIhfR8NaVXW4aC+T6b3R8Ul5PTpQkz+2ZTW4Hrbibg85t8kRLd48L+WnDQXyTiW/bJDwMLxX22gUabQ75Y4/EXwDMYRl+xH8lDRhSHtyptlXRXZ/WjiBFsu6yDP6Hfysu5VBpnx6axtPdc6yWc0W/fYpfofi7R/P1eAzPRihq4Voube4=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1731418338

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

%MAKEDEPENDS%
git

