kani 0.56.0-2 File List

Package has 6 files and 7 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/cargo-kani
  • usr/bin/kani
  • usr/bin/kani-compiler
  • usr/bin/kani-driver
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/kani/
  • usr/share/doc/kani/README.md
  • usr/share/licenses/
  • usr/share/licenses/kani/
  • usr/share/licenses/kani/LICENSE-MIT