1[package]
2name = "lancer-proofs"
3version = "0.1.0"
4edition = "2021"
5
6[dependencies]
7vstd = "=0.0.0-2026-02-15-0106"
8
9[package.metadata.verus]
10verify = true
11
12[lints.rust]
13unexpected_cfgs = { level = "warn", check-cfg = [
14 'cfg(verus_only)',
15] }