# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "formal"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "843bd93a3e05e803b76878223b8f78c88b998e5b0b7ae8e71da0858b50c6b509"

[[package]]
name = "formal-cli"
version = "0.1.0"
dependencies = [
 "formal",
 "formal-rt",
]

[[package]]
name = "formal-rt"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a97b5b964f06410480becce05c18f8bcd94fa655a21d22bdec2eea1c2901052d"