[package]
name = "lancer-proofs"
version = "0.1.0"
edition = "2021"

[dependencies]
vstd = "=0.0.0-2026-02-15-0106"

[package.metadata.verus]
verify = true

[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = [
  'cfg(verus_only)',
] }