diff --git a/Cargo.toml b/Cargo.toml
index 433596965..cc2616e0e 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -27,6 +27,7 @@ build-override.opt-level = 3
 [workspace.package]
 version = "0.43.0"
 edition = "2021"
+rust-version = "1.80"
 authors = ["Triton Software AG"]
 license = "Apache-2.0"
 homepage = "https://triton-vm.org/"
diff --git a/triton-air/Cargo.toml b/triton-air/Cargo.toml
index 9d5eca449..2d0c5a6d7 100644
--- a/triton-air/Cargo.toml
+++ b/triton-air/Cargo.toml
@@ -7,6 +7,7 @@ The Arithmetic Intermediate Representation (AIR) for Triton VM.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
diff --git a/triton-constraint-builder/Cargo.toml b/triton-constraint-builder/Cargo.toml
index 5902866cf..6b73708b8 100644
--- a/triton-constraint-builder/Cargo.toml
+++ b/triton-constraint-builder/Cargo.toml
@@ -7,6 +7,7 @@ Emits efficient code from Triton VM's AIR.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
diff --git a/triton-constraint-circuit/Cargo.toml b/triton-constraint-circuit/Cargo.toml
index 0885c72b4..2ea88b5ae 100644
--- a/triton-constraint-circuit/Cargo.toml
+++ b/triton-constraint-circuit/Cargo.toml
@@ -7,6 +7,7 @@ AIR constraints build helper for Triton VM.
 readme = "README.md"
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
diff --git a/triton-isa/Cargo.toml b/triton-isa/Cargo.toml
index adf6fffc6..e7722c16d 100644
--- a/triton-isa/Cargo.toml
+++ b/triton-isa/Cargo.toml
@@ -7,6 +7,7 @@ readme = "README.md"
 
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true
diff --git a/triton-vm/Cargo.toml b/triton-vm/Cargo.toml
index 95fb9695a..b0666ee44 100644
--- a/triton-vm/Cargo.toml
+++ b/triton-vm/Cargo.toml
@@ -10,6 +10,7 @@ categories = ["cryptography", "mathematics"]
 
 version.workspace = true
 edition.workspace = true
+rust-version.workspace = true
 authors.workspace = true
 license.workspace = true
 homepage.workspace = true