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