# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "autocfg"
version = "1.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c08606f8c3cbf4ce6ec8e28fb0014a2c086708fe954eaa885384a6165172e7e8"

[[package]]
name = "hashbrown"
version = "0.12.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"

[[package]]
name = "indexmap"
version = "1.9.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99"
dependencies = [
 "autocfg",
 "hashbrown",
]

[[package]]
name = "lancer-proofs"
version = "0.1.0"
dependencies = [
 "vstd",
]

[[package]]
name = "proc-macro2"
version = "1.0.106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "quote"
version = "1.0.44"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "21b2ebcf727b7760c461f091f9f0f539b77b8e87f2fd88131e7f1b433b3cece4"
dependencies = [
 "proc-macro2",
]

[[package]]
name = "syn"
version = "2.0.117"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "synstructure"
version = "0.13.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "728a70f3dbaf5bab7f0c4b1ac8d7ae5ea60a4b5549c8a5914361c99147a709d2"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
]

[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"

[[package]]
name = "verus_builtin"
version = "0.0.0-2026-02-08-0120"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c1bd13abb198fff161cf4be16cf8c1723f09941d03e323af71146fa4cfb0de0f"

[[package]]
name = "verus_builtin_macros"
version = "0.0.0-2026-02-15-0106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2271ff27937562c84b316cb41dd7d4dc8324096c84917b7d411d8b268dc54712"
dependencies = [
 "proc-macro2",
 "quote",
 "syn",
 "synstructure",
 "verus_prettyplease",
 "verus_syn",
]

[[package]]
name = "verus_prettyplease"
version = "0.0.0-2026-02-15-0106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "aa1c9a8d5635aac38528868312f72ed3f0e76f58ca25ac5c407d1064bdc33430"
dependencies = [
 "proc-macro2",
 "verus_syn",
]

[[package]]
name = "verus_state_machines_macros"
version = "0.0.0-2026-02-15-0106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e28cb0ec7d66fc27adccbd5aa9d96acf3ab5508cd97f1ca8930fed4f272f6ba8"
dependencies = [
 "indexmap",
 "proc-macro2",
 "quote",
 "verus_syn",
]

[[package]]
name = "verus_syn"
version = "0.0.0-2026-02-15-0106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6fbe9986fe3ffe05a07a87834a6a2400792e52969813fa9660e313e1c9eda6b7"
dependencies = [
 "proc-macro2",
 "quote",
 "unicode-ident",
]

[[package]]
name = "vstd"
version = "0.0.0-2026-02-15-0106"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "eb3fcbca609e31118953a52c90cc373a63c29081cf144361f56c15c59fa57b4c"
dependencies = [
 "verus_builtin",
 "verus_builtin_macros",
 "verus_state_machines_macros",
]