%DEPENDS%
cargo-nightly
gcc-libs

%PROVIDES%
cargo-kani
kani-verifier

