From faa3efb8b8fb540c77f8f03c27e376f6d356c5c7 Mon Sep 17 00:00:00 2001
From: Jay Lorch <jaylorch@gmail.com>
Date: Wed, 4 Mar 2026 10:05:58 -0800
Subject: [PATCH] Update Cargo.toml to use public vstd crate

---
 Cargo.lock | 12 ++++++++++++
 Cargo.toml |  2 +-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/Cargo.lock b/Cargo.lock
index dbd6854..54bcd9b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1614,10 +1614,14 @@ checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
 [[package]]
 name = "verus_builtin"
 version = "0.0.0-2026-03-01-0109"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1ee0548b407f2cbfb0228b65cd91e09be63cfd4e883b5a997b3a4e2158febe8f"
 
 [[package]]
 name = "verus_builtin_macros"
 version = "0.0.0-2026-03-01-0109"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1b7bc3f4a9f628702b5af08de7a3fb4605001a4abf2e8af6c12d04075410846d"
 dependencies = [
  "proc-macro2 1.0.106",
  "quote 1.0.44",
@@ -1630,6 +1634,8 @@ dependencies = [
 [[package]]
 name = "verus_prettyplease"
 version = "0.0.0-2026-02-24-1505"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e2930f00a7327e9837d0266a8261b35b3cf59761f50541ff471ca5e5229b7563"
 dependencies = [
  "proc-macro2 1.0.106",
  "verus_syn",
@@ -1638,6 +1644,8 @@ dependencies = [
 [[package]]
 name = "verus_state_machines_macros"
 version = "0.0.0-2026-03-01-0109"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "86996dd79d212559f03818a8973d7b9a71d26d404287e9fd2f597001f8c6cef5"
 dependencies = [
  "indexmap 1.9.3",
  "proc-macro2 1.0.106",
@@ -1648,6 +1656,8 @@ dependencies = [
 [[package]]
 name = "verus_syn"
 version = "0.0.0-2026-02-24-1505"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "baea36d7ed6cf44ce889b54740f7ae7a10622788f018b04c1addbe88109f59bb"
 dependencies = [
  "proc-macro2 1.0.106",
  "quote 1.0.44",
@@ -1663,6 +1673,8 @@ checksum = "5c3082ca00d5a5ef149bb8b555a72ae84c9c59f7250f013ac822ac2e49b19c64"
 [[package]]
 name = "vstd"
 version = "0.0.0-2026-03-01-0109"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "acfd39a5498898d5f9acc93313abfa9938ff4d23006468518cd83e8f6bb063d7"
 dependencies = [
  "verus_builtin",
  "verus_builtin_macros",
diff --git a/Cargo.toml b/Cargo.toml
index b576fad..8ae75d7 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -136,7 +136,7 @@ indexmap = { version = "2.12.1", default-features = false, features = ["serde"],
 bincode = { version = "2.0.1", default-features = false, features = ["alloc", "serde"], optional = true }
 
 # Use Verus for verification
-vstd = { path = "../verus/source/vstd" }
+vstd = { version = "0.0.0-2026-03-01-0109" }
 
 [dev-dependencies]
 anyhow = "1.0.45"