Update crate version numbers (#2510)

Co-authored-by: Version Bumper Bot <41898282+github-actions[bot]@users.noreply.github.com>

Author: parno

dependencies/prettyplease/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_prettyplease"
-version = "0.0.0-2026-05-24-0157"
+version = "0.0.0-2026-05-31-0205"
 authors = ["David Tolnay <dtolnay@gmail.com>", "The Verus Contributors"]
 autoexamples = false
 categories = ["development-tools"]
@@ -19,13 +19,13 @@ verbatim = ["verus_syn/parsing"]
 
 [dependencies]
 proc-macro2 = { version = "1.0.80", default-features = false }
-verus_syn = { version = "=0.0.0-2026-05-24-0157", path = "../syn", default-features = false, features = ["full", "visit", "visit-mut", "extra-traits", "parsing", "printing", "clone-impls"] }
+verus_syn = { version = "=0.0.0-2026-05-31-0205", path = "../syn", default-features = false, features = ["full", "visit", "visit-mut", "extra-traits", "parsing", "printing", "clone-impls"] }
 
 [dev-dependencies]
 indoc = "2"
 proc-macro2 = { version = "1.0.80", default-features = false }
 quote = { version = "1.0.35", default-features = false }
-verus_syn = { version = "=0.0.0-2026-05-24-0157", path = "../syn", default-features = false, features = ["clone-impls", "extra-traits", "parsing", "printing", "visit-mut"] }
+verus_syn = { version = "=0.0.0-2026-05-31-0205", path = "../syn", default-features = false, features = ["clone-impls", "extra-traits", "parsing", "printing", "visit-mut"] }
 
 [package.metadata.docs.rs]
 targets = ["x86_64-unknown-linux-gnu"]

dependencies/syn/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_syn"
-version = "0.0.0-2026-05-24-0157"
+version = "0.0.0-2026-05-31-0205"
 authors = ["David Tolnay <dtolnay@gmail.com>", "The Verus Contributors"]
 categories = ["development-tools::procedural-macro-helpers", "parser-implementations"]
 description = "Parser for Rust source code extended to support Verus"

source/Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "verus_builtin_macros"
-version = "0.0.0-2026-05-24-0157"
+version = "0.0.0-2026-05-31-0205"
 edition = "2018"
 license = "MIT"
 description = "Verus Builtin Macros: Various macros used by Verus"
@@ -18,8 +18,8 @@ proc-macro2 = "1.0.39"
 quote = "1.0"
 synstructure = "0.13.2"
 syn = { version = "2.0", features = ["full", "visit", "visit-mut", "extra-traits"] }
-verus_syn = { version = "=0.0.0-2026-05-24-0157", path = "../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
-verus_prettyplease = { version = "=0.0.0-2026-05-24-0157", path = "../../dependencies/prettyplease" }
+verus_syn = { version = "=0.0.0-2026-05-31-0205", path = "../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_prettyplease = { version = "=0.0.0-2026-05-31-0205", path = "../../dependencies/prettyplease" }
 
 [package.metadata.verus]
 is-builtin-macros = true

source/builtin_macros/Cargo.toml

@@ -73,7 +73,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-vstd = "=0.0.0-2026-05-24-0157"
+vstd = "=0.0.0-2026-05-31-0205"
 
 [package.metadata.verus]
 verify = true

source/cargo-verus/src/subcommands.rs

@@ -1,6 +1,6 @@
 [package]
 name = "verus_state_machines_macros"
-version = "0.0.0-2026-05-24-0157"
+version = "0.0.0-2026-05-31-0205"
 edition = "2018"
 license = "MIT"
 description = "Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines"
@@ -14,7 +14,7 @@ categories = ["development-tools"]
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-verus_syn = { version= "=0.0.0-2026-05-24-0157", path="../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_syn = { version= "=0.0.0-2026-05-31-0205", path="../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
 quote = "1.0"
 proc-macro2 = "1.0"
 indexmap = { version = "1" }

source/state_machines_macros/Cargo.toml

@@ -6,8 +6,8 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-verus_syn = { version = "=0.0.0-2026-05-24-0157", path = "../../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
-verus_prettyplease = { version = "=0.0.0-2026-05-24-0157", path = "../../../dependencies/prettyplease" }
+verus_syn = { version = "=0.0.0-2026-05-31-0205", path = "../../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_prettyplease = { version = "=0.0.0-2026-05-31-0205", path = "../../../dependencies/prettyplease" }
 getopts = "*"
 toml = "0.8"
 serde = { version = "1.0", features = ["std", "derive", "rc"] }

source/tools/line_count/Cargo.toml

@@ -5,7 +5,7 @@
 
 [package]
 name = "vstd"
-version = "0.0.0-2026-05-24-0157"
+version = "0.0.0-2026-05-31-0205"
 edition = "2021"
 license = "MIT"
 description = "Verus Standard Library: Useful specifications and lemmas for verifying Rust code"
@@ -21,9 +21,9 @@ name = "vstd"
 path = "vstd.rs"
 
 [dependencies]
-verus_builtin_macros = { version = "=0.0.0-2026-05-24-0157", path = "../builtin_macros" }
+verus_builtin_macros = { version = "=0.0.0-2026-05-31-0205", path = "../builtin_macros" }
 verus_builtin = { version = "=0.0.0-2026-05-17-0151", path = "../builtin" }
-verus_state_machines_macros = { version = "=0.0.0-2026-05-24-0157", path = "../state_machines_macros" }
+verus_state_machines_macros = { version = "=0.0.0-2026-05-31-0205", path = "../state_machines_macros" }
 
 [features]
 default = ["std"]