kani
Paket-Details
| Name | kani |
|---|---|
| Version | 0.64.0-1 |
| Beschreibung | Bit-precise model checker for Rust |
| URL | https://github.com/model-checking/kani |
| Lizenzen | Apache-2.0, MIT |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Orhun Parmaksız |
| Erstellt am | 04.07.2025 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | kani-0.64.0-1-x86_64.pkg.tar.zst |
| PGP-Signatur | kani-0.64.0-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 3.9 MiB |
| Installations-Größe | 17.1 MiB |
| Beliebtheit |