diff --git a/Cargo.toml b/Cargo.toml
index ce79469fb..8d6177f79 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -18,6 +18,9 @@ lto = true
 
 [workspace.dependencies]
 assembly = { package = "miden-assembly", version = "0.8", default-features = false }
-miden-verifier = { package = "miden-verifier", version = "0.8", default-features = false }
+miden-crypto = { version = "0.8", default-features = false }
+miden-prover = { version = "0.8", default-features = false }
+miden-stdlib = { version = "0.8", default-features = false }
+miden-verifier = { version = "0.8", default-features = false }
+vm-core = { package = "miden-core", version = "0.8", default-features = false }
 vm-processor = { package = "miden-processor", version = "0.8", default-features = false }
-miden-prover = { package = "miden-prover", version = "0.8", default-features = false }
diff --git a/miden-lib/Cargo.toml b/miden-lib/Cargo.toml
index 4c56cde7c..498d80181 100644
--- a/miden-lib/Cargo.toml
+++ b/miden-lib/Cargo.toml
@@ -1,6 +1,7 @@
 [package]
 name = "miden-lib"
 version = "0.1.0"
+description = "Standard library of the Miden rollup"
 authors = ["miden contributors"]
 readme = "README.md"
 license = "MIT"
@@ -20,11 +21,11 @@ std = ["assembly/std", "miden-objects/std", "miden-stdlib/std", "vm-processor/st
 testing = ["miden-objects/testing"]
 
 [dependencies]
-miden-objects = { package = "miden-objects", path = "../objects", default-features = false }
-miden-stdlib = { package = "miden-stdlib", version = "0.8", default-features = false }
+miden-objects = { package = "miden-objects", path = "../objects", version = "0.1", default-features = false }
+miden-stdlib = { workspace = true }
 
 [dev-dependencies]
-miden-objects = { package = "miden-objects", path = "../objects", default-features = false, features = ["testing"]}
+miden-objects = { package = "miden-objects", path = "../objects", version = "0.1", default-features = false, features = ["testing"]}
 mock = { package = "miden-mock", path = "../mock", default-features = false }
 vm-processor = { workspace = true, features = ["internals"] }
 
diff --git a/miden-tx/Cargo.toml b/miden-tx/Cargo.toml
index 0ceff4250..c60b67e0f 100644
--- a/miden-tx/Cargo.toml
+++ b/miden-tx/Cargo.toml
@@ -21,11 +21,11 @@ default = ["std"]
 std = ["miden-lib/std", "miden-objects/std", "miden-prover/std", "miden-verifier/std", "vm-processor/std"]
 
 [dependencies]
-miden-lib = { package = "miden-lib", path = "../miden-lib", default-features = false }
-miden-objects = { package = "miden-objects", path = "../objects", default-features = false }
+miden-lib = { package = "miden-lib", path = "../miden-lib", version = "0.1", default-features = false }
+miden-objects = { package = "miden-objects", path = "../objects", version = "0.1", default-features = false }
 miden-prover = { workspace = true }
 miden-verifier = { workspace = true }
 vm-processor = { workspace = true }
 
 [dev-dependencies]
-mock = { package = "miden-mock", path = "../mock", default-features = false }
+mock = { package = "miden-mock", path = "../mock", version = "0.1", default-features = false }
diff --git a/mock/Cargo.toml b/mock/Cargo.toml
index 9704c7ded..f03f78495 100644
--- a/mock/Cargo.toml
+++ b/mock/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-mock"
 version = "0.1.0"
-description = "Core components of the Miden rollup"
+description = "Library for mocking and testing core Miden rollup components"
 authors = ["miden contributors"]
 readme = "README.md"
 license = "MIT"
@@ -26,8 +26,8 @@ std = ["miden-lib/std", "miden-objects/std"]
 clap = { version = "4.4", features = ["derive"], optional = true }
 env_logger = { version = "0.11" }
 hex = { version = "0.4" }
-miden-lib = { path = "../miden-lib" }
-miden-objects = { path = "../objects" , features = ["serde", "log", "testing"] }
+miden-lib = { path = "../miden-lib", version = "0.1" }
+miden-objects = { path = "../objects", version = "0.1", features = ["serde", "log", "testing"] }
 miden-prover = { workspace = true }
 postcard = { version = "1.0", features = [ "alloc" ] }
 rand = { version = "0.8" }
diff --git a/objects/Cargo.toml b/objects/Cargo.toml
index 36cbe714d..606690ef4 100644
--- a/objects/Cargo.toml
+++ b/objects/Cargo.toml
@@ -28,10 +28,10 @@ testing = []
 [dependencies]
 assembly = { workspace = true }
 log = { version = "0.4", optional = true }
-miden-crypto = { version = "0.8", default-features = false }
+miden-crypto = { workspace = true }
 miden-verifier = { workspace = true }
 serde = { version = "1.0", optional = true, default-features = false, features = ["derive"] }
-vm-core = { package = "miden-core", version = "0.8", default-features = false }
+vm-core = { workspace = true }
 vm-processor = { workspace = true }
 
 [dev-dependencies]