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

[dependencies]