Update crate version numbers (#2745)

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-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 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-07-27-0206", path = "../syn", default-features = false, features = ["full", "visit", "visit-mut", "extra-traits", "parsing", "printing", "clone-impls"] }
+verus_syn = { version = "=0.0.0-2026-08-02-0125", 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-07-27-0206", path = "../syn", default-features = false, features = ["clone-impls", "extra-traits", "parsing", "printing", "visit-mut"] }
+verus_syn = { version = "=0.0.0-2026-08-02-0125", 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-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 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

@@ -88,8 +88,8 @@ cargo-verus-toolchains = { path = "cargo-verus-toolchains" }
 internals_interface = { path = "tools/internals_interface" }
 rustc_mir_build_verus = { path = "rustc_mir_build", package = "rustc_mir_build" }
 rust_verify_test_macros = { path = "rust_verify_test_macros" }
-verus_prettyplease = { version = "=0.0.0-2026-07-27-0206", path = "../dependencies/prettyplease" }
-verus_syn = { version = "=0.0.0-2026-07-27-0206", path = "../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_prettyplease = { version = "=0.0.0-2026-08-02-0125", path = "../dependencies/prettyplease" }
+verus_syn = { version = "=0.0.0-2026-08-02-0125", path = "../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
 vir-macros = { path = "vir_macros" }
 vir = { path = "vir" }
 

source/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_builtin"
-version = "0.0.0-2026-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 edition = "2018"
 license = "MIT"
 description = "Verus Builtins: Rust definitions for core constructs in Verus"

source/builtin/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_builtin_macros"
-version = "0.0.0-2026-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 edition = "2018"
 license = "MIT"
 description = "Verus Builtin Macros: Various macros used by Verus"

source/builtin_macros/Cargo.toml

@@ -75,7 +75,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-vstd = "=0.0.0-2026-07-27-0206"
+vstd = "=0.0.0-2026-08-02-0125"
 
 [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-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 edition = "2018"
 license = "MIT"
 description = "Verus State-Machine Macros: Various macros used by Verus to define and reason about atomic and sharded state machines"

source/state_machines_macros/Cargo.toml

@@ -5,7 +5,7 @@
 
 [package]
 name = "vstd"
-version = "0.0.0-2026-07-27-0206"
+version = "0.0.0-2026-08-02-0125"
 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-07-27-0206", path = "../builtin_macros" }
-verus_builtin = { version = "=0.0.0-2026-07-27-0206", path = "../builtin" }
-verus_state_machines_macros = { version = "=0.0.0-2026-07-27-0206", path = "../state_machines_macros" }
+verus_builtin_macros = { version = "=0.0.0-2026-08-02-0125", path = "../builtin_macros" }
+verus_builtin = { version = "=0.0.0-2026-08-02-0125", path = "../builtin" }
+verus_state_machines_macros = { version = "=0.0.0-2026-08-02-0125", path = "../state_machines_macros" }
 
 [features]
 default = ["std"]