[dependencies.seq-macro] version = "0.3.5" [package] description = "Type/operation utility crate for the formal verification tool machine-check" edition = "2021" license = "MIT OR Apache-2.0" name = "mck" readme = "README.md" rust-version = "1.75" version = "0.2.0"