kata-containers/regorus
1
0
Fork 0
mirror of https://github.com/microsoft/regorus.git synced 2026-08-05 02:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update Cargo.toml to use public vstd crate

Browse Source
This commit is contained in:
Jay Lorch
2026-03-04 10:05:58 -08:00
parent 100be610db
commit faa3efb8b8
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Cargo.toml
+1 -1
View File
@@ -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"