%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%
iQIzBAABCAAdFiEEFl4P98SMIm4ew2On+DQkgks+S5AFAmczXDEACgkQ+DQkgks+S5BSKA/8DXVDz8P2I346tOrfjcLwGfD6p9K/3V19Mv3ekPXQSsUZJxlRYJ3ZHuHBWglMlDzN240GWm2l2b3JrP02CWMUyhV5z6n0GLaexg93uxNUqKDLAGZO3jkGDDO4qxi2vEO2yomx6/s3Aw6pQhHPfdUqMgOUJ1hWO7hWvMoQANKCs1ykrVp9cvSJ8ClmTeiwetyI5JzmScW+CXQCHySgAckLfvK+CirUIGAYohiPVJiO55DNP55n0d7RX1NdkloyzTZt8Jg758kJKra6Wq0clLy065tXKhirdhc3KMW2Awe/fLxbnkOHO34+DYtqQHFGdOXYYEnhxe8dFI6Lu7aDolfcg8qiIVyyXEkxU6C6F+CNPb6qCQ2qH40dDDOHSSAgn0DojzqOG+8E62uzNY5cEb4gNjcFmd4lTjNAjH9eVkMWt0XkEBcxXx0VrdkSPCrx9Ot2vNaIFebFA3jD+3yIL4LEeCrbHYCyBoBVSgCipRWdXVSzR0Za7mS5uFM0SninyV/eIeddbMfoPLGSxovxbOPNnloRSKxM2i9kVSqAi2a96f7S1c0tUnfAHCWUICnxWrCCWDMKNdiDQhDjq3XHq2X/w+IldKPwP1OJNDxNE+W2J6j6mUJCkhxvPnpL/TKVrK0arszfdSiC9SRGWI8yOHCfJh1iRhMQ6JUPLMxvXgZ6Wq8=

%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

