lewis.moe
Nothing to see here, move along
1# This file is automatically @generated by Cargo.
2# It is not intended for manual editing.
3version = 4
4
5[[package]]
6name = "autocfg"
7version = "1.5.0"
8source = "registry+https://github.com/rust-lang/crates.io-index"
9checksum = "c08606f8c3cbf4ce6ec8e28fb0014a2c086708fe954eaa885384a6165172e7e8"
10
11[[package]]
12name = "hashbrown"
13version = "0.12.3"
14source = "registry+https://github.com/rust-lang/crates.io-index"
15checksum = "8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888"
16
17[[package]]
18name = "indexmap"
19version = "1.9.3"
20source = "registry+https://github.com/rust-lang/crates.io-index"
21checksum = "bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99"
22dependencies = [
23 "autocfg",
24 "hashbrown",
25]
26
27[[package]]
28name = "lancer-proofs"
29version = "0.1.0"
30dependencies = [
31 "vstd",
32]
33
34[[package]]
35name = "proc-macro2"
36version = "1.0.106"
37source = "registry+https://github.com/rust-lang/crates.io-index"
38checksum = "8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934"
39dependencies = [
40 "unicode-ident",
41]
42
43[[package]]
44name = "quote"
45version = "1.0.44"
46source = "registry+https://github.com/rust-lang/crates.io-index"
47checksum = "21b2ebcf727b7760c461f091f9f0f539b77b8e87f2fd88131e7f1b433b3cece4"
48dependencies = [
49 "proc-macro2",
50]
51
52[[package]]
53name = "syn"
54version = "2.0.117"
55source = "registry+https://github.com/rust-lang/crates.io-index"
56checksum = "e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99"
57dependencies = [
58 "proc-macro2",
59 "quote",
60 "unicode-ident",
61]
62
63[[package]]
64name = "synstructure"
65version = "0.13.2"
66source = "registry+https://github.com/rust-lang/crates.io-index"
67checksum = "728a70f3dbaf5bab7f0c4b1ac8d7ae5ea60a4b5549c8a5914361c99147a709d2"
68dependencies = [
69 "proc-macro2",
70 "quote",
71 "syn",
72]
73
74[[package]]
75name = "unicode-ident"
76version = "1.0.24"
77source = "registry+https://github.com/rust-lang/crates.io-index"
78checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
79
80[[package]]
81name = "verus_builtin"
82version = "0.0.0-2026-02-08-0120"
83source = "registry+https://github.com/rust-lang/crates.io-index"
84checksum = "c1bd13abb198fff161cf4be16cf8c1723f09941d03e323af71146fa4cfb0de0f"
85
86[[package]]
87name = "verus_builtin_macros"
88version = "0.0.0-2026-02-15-0106"
89source = "registry+https://github.com/rust-lang/crates.io-index"
90checksum = "2271ff27937562c84b316cb41dd7d4dc8324096c84917b7d411d8b268dc54712"
91dependencies = [
92 "proc-macro2",
93 "quote",
94 "syn",
95 "synstructure",
96 "verus_prettyplease",
97 "verus_syn",
98]
99
100[[package]]
101name = "verus_prettyplease"
102version = "0.0.0-2026-02-15-0106"
103source = "registry+https://github.com/rust-lang/crates.io-index"
104checksum = "aa1c9a8d5635aac38528868312f72ed3f0e76f58ca25ac5c407d1064bdc33430"
105dependencies = [
106 "proc-macro2",
107 "verus_syn",
108]
109
110[[package]]
111name = "verus_state_machines_macros"
112version = "0.0.0-2026-02-15-0106"
113source = "registry+https://github.com/rust-lang/crates.io-index"
114checksum = "e28cb0ec7d66fc27adccbd5aa9d96acf3ab5508cd97f1ca8930fed4f272f6ba8"
115dependencies = [
116 "indexmap",
117 "proc-macro2",
118 "quote",
119 "verus_syn",
120]
121
122[[package]]
123name = "verus_syn"
124version = "0.0.0-2026-02-15-0106"
125source = "registry+https://github.com/rust-lang/crates.io-index"
126checksum = "6fbe9986fe3ffe05a07a87834a6a2400792e52969813fa9660e313e1c9eda6b7"
127dependencies = [
128 "proc-macro2",
129 "quote",
130 "unicode-ident",
131]
132
133[[package]]
134name = "vstd"
135version = "0.0.0-2026-02-15-0106"
136source = "registry+https://github.com/rust-lang/crates.io-index"
137checksum = "eb3fcbca609e31118953a52c90cc373a63c29081cf144361f56c15c59fa57b4c"
138dependencies = [
139 "verus_builtin",
140 "verus_builtin_macros",
141 "verus_state_machines_macros",
142]