kani 0.63.0-1

Architecture: x86_64
Repository: Extra
Description: Bit-precise model checker for Rust
Upstream URL:
License(s): Apache-2.0, MIT
Provides: cargo-kani, kani-verifier
Maintainers: Orhun Parmaksız
Package Size: 3.9 MB
Installed Size: 17.3 MB
Last Packager: Orhun Parmaksız
Build Date: 2025-06-10 19:15 UTC
Signed By: Orhun Parmaksız
Signature Date: 2025-06-10 19:33 UTC
Last Updated: 2025-06-10 19:35 UTC

Dependencies (3)

Required By (0)