cargo-hax 0.0.0

high assurance software toolchain
# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 3

[[package]]
name = "cargo-hax"
version = "0.0.0"