Update crate version numbers

Author: github-actions[bot]

dependencies/prettyplease/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_prettyplease"
-version = "0.0.0-2025-11-05-1950"
+version = "0.0.0-2025-11-09-0048"
 authors = ["David Tolnay <[email protected]>", "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-2025-11-05-1950", path = "../syn", default-features = false, features = ["full", "visit", "visit-mut", "extra-traits", "parsing", "printing", "clone-impls"] }
+verus_syn = { version = "=0.0.0-2025-11-09-0048", 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-2025-11-05-1950", path = "../syn", default-features = false, features = ["clone-impls", "extra-traits", "parsing", "printing", "visit-mut"] }
+verus_syn = { version = "=0.0.0-2025-11-09-0048", path = "../syn", default-features = false, features = ["clone-impls", "extra-traits", "parsing", "printing", "visit-mut"] }
 
 [lib]
 doc-scrape-examples = false

dependencies/syn/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_syn"
-version = "0.0.0-2025-11-05-1950"
+version = "0.0.0-2025-11-09-0048"
 authors = ["David Tolnay <[email protected]>", "The Verus Contributors"]
 categories = ["development-tools::procedural-macro-helpers", "parser-implementations"]
 description = "Parser for Rust source code extended to support Verus"

source/builtin_macros/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_builtin_macros"
-version = "0.0.0-2025-11-05-1950"
+version = "0.0.0-2025-11-09-0048"
 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-2025-11-05-1950", path = "../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
-verus_prettyplease = { version = "=0.0.0-2025-11-05-1950", path = "../../dependencies/prettyplease" }
+verus_syn = { version = "=0.0.0-2025-11-09-0048", path = "../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_prettyplease = { version = "=0.0.0-2025-11-09-0048", path = "../../dependencies/prettyplease" }
 
 [package.metadata.verus]
 is-builtin-macros = true

source/cargo-verus/src/main.rs

@@ -102,7 +102,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-vstd = "=0.0.0-2025-11-05-1950"
+vstd = "=0.0.0-2025-11-09-0048"
 
 [package.metadata.verus]
 verify = true

source/state_machines_macros/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verus_state_machines_macros"
-version = "0.0.0-2025-11-05-1950"
+version = "0.0.0-2025-11-09-0048"
 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-2025-11-05-1950", path="../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_syn = { version= "=0.0.0-2025-11-09-0048", path="../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
 quote = "1.0"
 proc-macro2 = "1.0"
 indexmap = { version = "1" }

source/tools/line_count/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-2025-11-05-1950", path = "../../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
-verus_prettyplease = { version = "=0.0.0-2025-11-05-1950", path = "../../../dependencies/prettyplease" }
+verus_syn = { version = "=0.0.0-2025-11-09-0048", path = "../../../dependencies/syn", features = ["full", "visit", "visit-mut", "extra-traits"] }
+verus_prettyplease = { version = "=0.0.0-2025-11-09-0048", path = "../../../dependencies/prettyplease" }
 getopts = "*"
 toml = "0.8"
 serde = { version = "1.0", features = ["std", "derive", "rc"] }

source/vstd/Cargo.toml

@@ -5,7 +5,7 @@
 
 [package]
 name = "vstd"
-version = "0.0.0-2025-11-05-1950"
+version = "0.0.0-2025-11-09-0048"
 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-2025-11-05-1950", path = "../builtin_macros" }
+verus_builtin_macros = { version = "=0.0.0-2025-11-09-0048", path = "../builtin_macros" }
 verus_builtin = { version = "=0.0.0-2025-08-12-1837", path = "../builtin" }
-verus_state_machines_macros = { version = "=0.0.0-2025-11-05-1950", path = "../state_machines_macros" }
+verus_state_machines_macros = { version = "=0.0.0-2025-11-09-0048", path = "../state_machines_macros" }
 
 [features]
 default = ["std"]