lib/lancer-proofs/Cargo.toml at main

lewis.moe / lancer

fork atom

Nothing to see here, move along

fork atom

lancer / lib / lancer-proofs / Cargo.toml

at main 15 lines 245 B view raw

wrap content

lewis.moe Latest 3w ago

c368cb02

 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] }