kani 0.63.0-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | kani |
| 説明: | Bit-precise model checker for Rust |
| 上流 URL: | https://github.com/model-checking/kani |
| ライセンス: | Apache-2.0, MIT |
| 提供: | , |
| パッケージ容量: | 4.1 MB |
| インストール容量: | 18.1 MB |
| パッケージ作成者: | Orhun Parmaksız |
| 最終更新: | 2025-06-11 04:15:17 JST |