%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkksACgkQrx0hme8KPM/Z7A/6Auv9ta4LmkdsW1psErybkGib+TF1mnMcBC8M3jXeblNb6cAfixCFKqd56yGV8DiKLoXYSGCd/CztF2jDYNjxgDS64JI6s1W9jqvSR7brWlEmXtmM3W6IeeA+psjYeDQ3DQgs3XpjMbgvdxjBewR0p/M9MFSrTJDqAmERmv4BnLns7n3U5nnrF5R/ywBFm9bhcLp+arAWrb0jgGCdGI5EiSmEstv3UbcIObdfwV2c7ZCcKLY62Dqq8lfd70wMCPNUmA7JP6HBDQmfFCRWBP8AsAVUP5MCH1xMDRFym62t7Ba4IWhGxaAGRumcxEcprEF95QrdV3VXKTx9iY8PmD4GClaTrRt8yhQ+D4xeVjbrgul+OT9Gsjs5KYRB7jHTzzRjzos3lFR97pBuw+WU2UL5zielzYJTlDQdTTCBh/WHrReEcM9Lw9OUafEPk86apPnWCcQlnFvsEfjdc4WT4V7GSHlex1yDbnUYsIOOO6qB37A5Oj2j1fpwp7zBGc3f1rVMYIyclZV/sy4CiZFvY/vm0D1VFr3n7kQigr+1kANX+qX8auZz4QacwoOGQbObQFRqvHDCUwBiRtJr7GNE//EZMZNM8mN0fNJ1aIS4xeAgZSmXq/GuVwhdnF64kc6EtLlKJfEtNXBALVRlXP8DkPEG21Rfj3U9Id93BrkU/5HovkE=

%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

