diff --git a/Cargo.toml b/Cargo.toml
index 7b8d8eb77..e853ac568 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -15,7 +15,6 @@ members = [
 ]
 
 [workspace.package]
-version = "0.1.0"
 edition = "2021"
 repository = "https://github.com/keep-starknet-strange/snos/"
 license = "MIT"
diff --git a/cairo-lang b/cairo-lang
index a86e92bfd..7a7c522cd 160000
--- a/cairo-lang
+++ b/cairo-lang
@@ -1 +1 @@
-Subproject commit a86e92bfde9c171c0856d7b46580c66e004922f3
+Subproject commit 7a7c522cdc525c7c97290b7829dca66527545d45
diff --git a/crates/bin/hint_tool/Cargo.toml b/crates/bin/hint_tool/Cargo.toml
index 282ba3f3f..133cd7150 100644
--- a/crates/bin/hint_tool/Cargo.toml
+++ b/crates/bin/hint_tool/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hint_tool"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/bin/output_segment/Cargo.toml b/crates/bin/output_segment/Cargo.toml
index 61add5c05..0fb74adec 100644
--- a/crates/bin/output_segment/Cargo.toml
+++ b/crates/bin/output_segment/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "output_segment"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/bin/prove_block/Cargo.toml b/crates/bin/prove_block/Cargo.toml
index 30dc975bc..a38ad0411 100644
--- a/crates/bin/prove_block/Cargo.toml
+++ b/crates/bin/prove_block/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "prove_block"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/cairo-type-derive/Cargo.toml b/crates/cairo-type-derive/Cargo.toml
index 3ddd8fdce..48f0d37ea 100644
--- a/crates/cairo-type-derive/Cargo.toml
+++ b/crates/cairo-type-derive/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "cairo-type-derive"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/rpc-client/Cargo.toml b/crates/rpc-client/Cargo.toml
index 2138734d1..97c2ab253 100644
--- a/crates/rpc-client/Cargo.toml
+++ b/crates/rpc-client/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rpc-client"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/rpc-replay/Cargo.toml b/crates/rpc-replay/Cargo.toml
index 4914c824c..30d378c06 100644
--- a/crates/rpc-replay/Cargo.toml
+++ b/crates/rpc-replay/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rpc-replay"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/starknet-os-types/Cargo.toml b/crates/starknet-os-types/Cargo.toml
index b4d7def85..8ea464e6b 100644
--- a/crates/starknet-os-types/Cargo.toml
+++ b/crates/starknet-os-types/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "starknet-os-types"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/crates/starknet-os/Cargo.toml b/crates/starknet-os/Cargo.toml
index c6fd04979..0133a9bf7 100644
--- a/crates/starknet-os/Cargo.toml
+++ b/crates/starknet-os/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "starknet-os"
-version.workspace = true
+version = "1.0.0-dev"
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true
diff --git a/tests/Cargo.toml b/tests/Cargo.toml
index b36de6347..70fe7d12c 100644
--- a/tests/Cargo.toml
+++ b/tests/Cargo.toml
@@ -1,6 +1,5 @@
 [package]
 name = "tests"
-version.workspace = true
 edition.workspace = true
 repository.workspace = true
 license-file.workspace = true