[workspace]
resolver = "2"
members = ["hsmc", "hsmc-macros", "verification"]

[workspace.package]
version = "0.5.1"
edition = "2021"
license = "MIT"
authors = ["Stephen Waits <steve@waits.net>"]
repository = "https://github.com/swaits/hsmc"
homepage = "https://github.com/swaits/hsmc"