%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%
608766

%ISIZE%
5046528

%SHA256SUM%
7c612cb6f95d11d0f0c38b01b0d284d265107341b7da2c5dbd8cf58e40d13868

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38wACgkQrx0hme8KPM93Iw//Y58owmfPTNhGjRa8FlCPMhU2oYK+ycDlzum2LjWpG5ICZCTnguthxcoUHuQn36KmKNIa1mXo53yzIyab8/yinKwkWimCK/idUrj/+Q3EJtlYUnMCHNp993tR2jGW3YIIUaShP/wAf4aE9z6lHLDWf+NkvcMsRGMF1ECVYHpapqIRTf7BNkBahr/wYXh7m/5wrNPnKmyl5lDq0fVmxKZnVn3Nl2iXQb2j/6f1eOQK0SGOAOVwd5GXWq90MVbxhUc7oaRT+Qq6Kr9WiB7iYndqicE46TfUAV2FNECs6lLlTeS5e+zv4kGjAuKOXLmcWJRdQlP2cTXBNwwBG57jgr3KM2pAFD7Q9z/38zbI62VNLCstqMb6tvI+xrtQ7g3lsnJc6FPcGA7xZgEW9xa/PzD18jKX365XXcK1Jtp8gDT2aP+n1G9jWkTLl5WcxtA9l0ZwYeRZHCPG7KDT8TOIwt+9caywIGUxlosYeConBHNxWEZbygBKbAYLyMzzpQ8Kj5hxcoS1li+uqV3MazEr+3D6pqCm0tk8SEYfE4Ko5gF/erPO6ypL8u21aJhGOYxE4liLVZR6lyAUHtTvN77Wj3c4EIy4B0wVwi28lyLAS56F24XEU5ZvgbujX+aZlVyZYV93EMoOzf0kMIpyhIXkT2/QNA5kTMV5Dg11x2F9y6KBAUI=

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

%LICENSE%
Apache-2.0
MIT

%ARCH%
x86_64

%BUILDDATE%
1751614983

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

%MAKEDEPENDS%
git

