diff --git a/Cargo.lock b/Cargo.lock
index 5c33f78a..c415718d 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2963,7 +2963,7 @@ dependencies = [
 
 [[package]]
 name = "miden-integration-tests"
-version = "0.0.0"
+version = "0.0.5"
 dependencies = [
  "anyhow",
  "blake3",
diff --git a/Cargo.toml b/Cargo.toml
index 21dcb330..8a061f91 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -26,7 +26,7 @@ exclude = [
 ]
 
 [workspace.package]
-version = "0.0.0"
+version = "0.0.5"
 rust-version = "1.78"
 authors = ["Miden contributors"]
 description = "An intermediate representation and compiler for Miden Assembly"
diff --git a/codegen/masm/Cargo.toml b/codegen/masm/Cargo.toml
index 6e34a8cf..0a3b9cb9 100644
--- a/codegen/masm/Cargo.toml
+++ b/codegen/masm/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-codegen-masm"
 description = "Miden Assembly backend for the Miden compiler"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/frontend-wasm/Cargo.toml b/frontend-wasm/Cargo.toml
index 245347ce..dfa63d37 100644
--- a/frontend-wasm/Cargo.toml
+++ b/frontend-wasm/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-frontend-wasm"
 description = "Wasm frontend for the Miden compiler"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir-analysis/Cargo.toml b/hir-analysis/Cargo.toml
index 92f054a5..41aa1444 100644
--- a/hir-analysis/Cargo.toml
+++ b/hir-analysis/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-analysis"
 description = "Analysis passes and utilties for Miden HIR"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir-macros/Cargo.toml b/hir-macros/Cargo.toml
index 6c5612c3..c65f1831 100644
--- a/hir-macros/Cargo.toml
+++ b/hir-macros/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-macros"
 description = "Provides proc macro support for Miden IR"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir-symbol/Cargo.toml b/hir-symbol/Cargo.toml
index 0fe1206a..a7248134 100644
--- a/hir-symbol/Cargo.toml
+++ b/hir-symbol/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-symbol"
 description = "String interning for the Miden compiler"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir-transform/Cargo.toml b/hir-transform/Cargo.toml
index 9e53b5f6..88b3f959 100644
--- a/hir-transform/Cargo.toml
+++ b/hir-transform/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-transform"
 description = "Transformation passes and utilities for Miden HIR"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir-type/Cargo.toml b/hir-type/Cargo.toml
index 7bf46084..bee94a9d 100644
--- a/hir-type/Cargo.toml
+++ b/hir-type/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir-type"
 description = "Type system and utilities for Miden HIR"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/hir/Cargo.toml b/hir/Cargo.toml
index d0e6bfc3..33982173 100644
--- a/hir/Cargo.toml
+++ b/hir/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-hir"
 description = "High-level Intermediate Representation for Miden Assembly"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/midenc-compile/Cargo.toml b/midenc-compile/Cargo.toml
index 7ad676da..dce139c3 100644
--- a/midenc-compile/Cargo.toml
+++ b/midenc-compile/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-compile"
 description = "The compiler frontend for Miden"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/midenc-debug/Cargo.toml b/midenc-debug/Cargo.toml
index ac4c355e..72f24e0f 100644
--- a/midenc-debug/Cargo.toml
+++ b/midenc-debug/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-debug"
 description = "An interactive debugger for Miden VM programs"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/midenc-driver/Cargo.toml b/midenc-driver/Cargo.toml
index 93cf9a01..74794613 100644
--- a/midenc-driver/Cargo.toml
+++ b/midenc-driver/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-driver"
 description = "The driver for midenc, the Miden compiler"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/midenc-session/Cargo.toml b/midenc-session/Cargo.toml
index 4c9898e5..241dc994 100644
--- a/midenc-session/Cargo.toml
+++ b/midenc-session/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc-session"
 description = "Session management for the Midenc compiler"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/midenc/Cargo.toml b/midenc/Cargo.toml
index 21b5334f..bb94c346 100644
--- a/midenc/Cargo.toml
+++ b/midenc/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "midenc"
 description = "The compiler frontend/executable for Miden"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/sdk/alloc/Cargo.toml b/sdk/alloc/Cargo.toml
index 3f24423d..351a8d82 100644
--- a/sdk/alloc/Cargo.toml
+++ b/sdk/alloc/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-sdk-alloc"
 description = "A simple bump allocator for Miden SDK programs"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/sdk/base-sys/Cargo.toml b/sdk/base-sys/Cargo.toml
index 7d7c2cdf..7faea6d7 100644
--- a/sdk/base-sys/Cargo.toml
+++ b/sdk/base-sys/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-base-sys"
 description = "Miden rollup Rust bingings and MASM library"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/sdk/sdk/Cargo.toml b/sdk/sdk/Cargo.toml
index 9e2e6335..a743e751 100644
--- a/sdk/sdk/Cargo.toml
+++ b/sdk/sdk/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-sdk"
 description = "Miden SDK"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/sdk/stdlib-sys/Cargo.toml b/sdk/stdlib-sys/Cargo.toml
index 5fa4c033..dd4a71f8 100644
--- a/sdk/stdlib-sys/Cargo.toml
+++ b/sdk/stdlib-sys/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "miden-stdlib-sys"
 description = "Low-level Rust bindings for the Miden standard library"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true
diff --git a/tools/cargo-miden/Cargo.toml b/tools/cargo-miden/Cargo.toml
index 32eb2ed2..f8f2b54f 100644
--- a/tools/cargo-miden/Cargo.toml
+++ b/tools/cargo-miden/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "cargo-miden"
 description = "A cargo extension to build Miden projects"
-version = "0.0.5"
+version.workspace = true
 rust-version.workspace = true
 authors.workspace = true
 repository.workspace = true