# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = kani
pkgbase = kani
xdata = pkgtype=pkg
pkgver = 0.64.0-1.1
pkgdesc = Bit-precise model checker for Rust
url = https://github.com/model-checking/kani
builddate = 1751615499
packager = CachyOS <admin@cachyos.org>
size = 16911862
arch = x86_64_v3
license = Apache-2.0
license = MIT
provides = cargo-kani
provides = kani-verifier
depend = cargo-nightly
depend = gcc-libs
makedepend = git
