cargo-hax 0.0.0

[dependencies]

[package]
description = "high assurance software toolchain"
edition = "2021"
license = "Apache-2.0"
name = "cargo-hax"
version = "0.0.0"