Update crate version numbers (#2788)

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-08-02-0125"
+version = "0.0.0-2026-08-09-0044"
 authors = ["David Tolnay <dtolnay@gmail.com>", "The Verus Contributors"]
 autoexamples = false
 categories = ["development-tools"]

source/Cargo.lock

@@ -88,7 +88,7 @@ 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-08-02-0125", path = "../dependencies/prettyplease" }
+verus_prettyplease = { version = "=0.0.0-2026-08-09-0044", 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-08-02-0125"
+version = "0.0.0-2026-08-09-0044"
 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-08-02-0125"
+version = "0.0.0-2026-08-09-0044"
 edition = "2018"
 license = "MIT"
 description = "Verus Builtin Macros: Various macros used by Verus"

source/builtin_macros/Cargo.toml

@@ -76,7 +76,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-vstd = "=0.0.0-2026-08-02-0125"
+vstd = "=0.0.0-2026-08-09-0044"
 
 [package.metadata.verus]
 verify = true

source/cargo-verus/src/subcommands.rs

@@ -5,7 +5,7 @@
 
 [package]
 name = "vstd"
-version = "0.0.0-2026-08-02-0125"
+version = "0.0.0-2026-08-09-0044"
 edition = "2021"
 license = "MIT"
 description = "Verus Standard Library: Useful specifications and lemmas for verifying Rust code"
@@ -21,8 +21,8 @@ name = "vstd"
 path = "vstd.rs"
 
 [dependencies]
-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_builtin_macros = { version = "=0.0.0-2026-08-09-0044", path = "../builtin_macros" }
+verus_builtin = { version = "=0.0.0-2026-08-09-0044", path = "../builtin" }
 verus_state_machines_macros = { version = "=0.0.0-2026-08-02-0125", path = "../state_machines_macros" }
 
 [features]