%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%
iQIzBAABCgAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmhnhyUACgkQ+DQkgks+S5DHCw//XT3RZI+vC6B7lYiaOlf/CDAtHr6dqS0TR6+hg0BcskKUeNZ+yv+99kecPKvr5anP4rwb7KC5+UhLzfwcIQYEnaWsy2JTxAsL/VyTdYQZEmF2O6D2iVyX5WPF0hJKcDcdvsajul38B8l7I/Ge76UYvkC1CSttePx+qsvVXuNSeGyfBh15PeMQWrw/h2duBEfl15uNrKOhmi5EIoxy7FVwb2LmYDnvE4Bmj5fh12qM3vlHcAisVN8ZHhQfDe5jANzwrf30cDZwo+53LN9EoQ/Xt95TlhkPYnHbcdRF3A4CHnRBYkIEXEmt4b86b9rRhhlSvCYYST8HV7O6qoGgTCwYu9wN5yTg5TvAzQfgrEmBBhfzBUV+6SCXBSC63Q7YAxwlsfMhlW/ZMZVBBFweI5rP2+GHCH/Nl+LB7jKjkDNsxLxc4PwgttWp0mmkNO2iyR1DJGM6yEepIiEKYALG7X/sepCn+98NR6ixIZhSHuibEaDNXERb3nNh2kreBiU6QVSzGoit1HZVBWQgsKAxqwXP35un1uOWuTYtoDU9+gYThp91v3hk+HWnhnmS5dXeXHn3fB7MdbiVOh8sMl8p4IdiJzrTUhbxbr07ZAm3U0E/c7u7RwSd7mD26MNpZ8ZgiLoiQWsnc7mOzmEFZNVoGaCoNLPT5SSwWQc0FHEr61FMhoI=

%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

