%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAnQACgkQrx0hme8KPM/dqw//T5KDLwBl1iSra5OSa/lyBy1PfRoq+/OxHOlbsygMphv0n5KkFk0nPXtsznhEBMnV0iKECpsgQ5SIoiJ/nFOd4nJOtLMjL3LkoY+MT6XdEivdspesq7LgohlQ9qc6yWQOYcg167yf6gFMoh21TbpdWn5JwgFBUDaGcwivRqqrZCB0qoDgHnGBwuDct5CrQBVw8T4rocsqrHydMyRstxBtMXoFER/WFW1DV1GUfdEX6C1N/AY5KwzmKlhMq+HZVBURCBY9gp2Ag9IQzi7eZDpdmmK9dxqQH3YeG1d+5lce5x0JzJMPyJoo+4+te83hNdpd5nrKlUxpv+ehHd20ZMv52LYVieLaPkmMdx9J6hR1O+iLDwMxhWOwDYGis2KRly3tcgJ7I/FJt3tZt9eKI4yYlG7Ux0JDwBgHi3WD+Wm7/HoZJFK0x5G2ES0XrfUpJ3Ltd7illnanIFPER0jp5mRzXBhDvNKOst+IGzrKAvEaMQxHrMgXZxMg2p7bP/3z4h9L3PYqNFuzwQ15ud0citWrjqcriErImPwgjV39euD75sXcmbDJSqpejVvReUDHh2MBNz7Xs5MWJnj0fNhIeJpBOv+UtypmKGBP/kScn7tkr0o2S3KBr83QEEoqZkpqcdF6/lAFTyU5be8x+GcGdOCR9q+8d7HIrNJ0KJS2LpPMmGs=

%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

