# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = kani-debug
pkgbase = kani
xdata = pkgtype=debug
pkgver = 0.64.0-1
pkgdesc = Detached debugging symbols for kani
url = https://github.com/model-checking/kani
builddate = 1751614983
packager = Orhun Parmaksız <orhun@archlinux.org>
size = 5046528
arch = x86_64
license = Apache-2.0
license = MIT
makedepend = git
