diff --git a/Cargo.lock b/Cargo.lock
index ede41dd38..0a043bbcb 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -51,7 +51,7 @@ dependencies = [
 
 [[package]]
 name = "aiken"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "aiken-lang",
  "aiken-lsp",
@@ -81,7 +81,7 @@ dependencies = [
 
 [[package]]
 name = "aiken-lang"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "chumsky",
  "hex",
@@ -102,7 +102,7 @@ dependencies = [
 
 [[package]]
 name = "aiken-lsp"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "aiken-lang",
  "aiken-project",
@@ -123,7 +123,7 @@ dependencies = [
 
 [[package]]
 name = "aiken-project"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "aiken-lang",
  "askama",
@@ -858,7 +858,7 @@ checksum = "0ce7134b9999ecaf8bcd65542e436736ef32ddca1b3e06094cb6ec5755203b80"
 
 [[package]]
 name = "flat-rs"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "anyhow",
  "proptest",
@@ -2985,7 +2985,7 @@ checksum = "c0edd1e5b14653f783770bce4a4dabb4a5108a5370a5f5d8cfe8710c361f6c8b"
 
 [[package]]
 name = "uplc"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 dependencies = [
  "anyhow",
  "cryptoxide",
diff --git a/crates/aiken-lang/Cargo.toml b/crates/aiken-lang/Cargo.toml
index 64cc620a4..e85ead2e3 100644
--- a/crates/aiken-lang/Cargo.toml
+++ b/crates/aiken-lang/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "aiken-lang"
 description = "The Aiken compiler"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 repository = "https://github.com/aiken-lang/aiken"
 homepage = "https://github.com/aiken-lang/aiken"
@@ -24,7 +24,7 @@ owo-colors = { version = "3.5.0", features = ["supports-colors"] }
 strum = "0.24.1"
 thiserror = "1.0.39"
 vec1 = "1.10.1"
-uplc = { path = '../uplc', version = "1.0.16-alpha" }
+uplc = { path = '../uplc', version = "1.0.17-alpha" }
 num-bigint = "0.4.3"
 
 [target.'cfg(not(target_family="wasm"))'.dependencies]
diff --git a/crates/aiken-lsp/Cargo.toml b/crates/aiken-lsp/Cargo.toml
index cf8dbedaf..fab6d6441 100644
--- a/crates/aiken-lsp/Cargo.toml
+++ b/crates/aiken-lsp/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "aiken-lsp"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 description = "Cardano smart contract language and toolchain"
 repository = "https://github.com/aiken-lang/aiken"
@@ -24,5 +24,5 @@ tracing = "0.1.37"
 url = "2.3.1"
 urlencoding = "2.1.2"
 
-aiken-lang = { path = '../aiken-lang', version = "1.0.16-alpha" }
-aiken-project = { path = '../aiken-project', version = "1.0.16-alpha" }
+aiken-lang = { path = '../aiken-lang', version = "1.0.17-alpha" }
+aiken-project = { path = '../aiken-project', version = "1.0.17-alpha" }
diff --git a/crates/aiken-project/Cargo.toml b/crates/aiken-project/Cargo.toml
index d91e560d6..bcf8dc4c0 100644
--- a/crates/aiken-project/Cargo.toml
+++ b/crates/aiken-project/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "aiken-project"
 description = "Aiken project utilities"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 repository = "https://github.com/aiken-lang/aiken/crates/project"
 homepage = "https://github.com/aiken-lang/aiken"
@@ -42,8 +42,8 @@ toml = "0.7.2"
 walkdir = "2.3.2"
 zip = "0.6.4"
 
-aiken-lang = { path = "../aiken-lang", version = "1.0.16-alpha" }
-uplc = { path = '../uplc', version = "1.0.16-alpha" }
+aiken-lang = { path = "../aiken-lang", version = "1.0.17-alpha" }
+uplc = { path = '../uplc', version = "1.0.17-alpha" }
 
 [dev-dependencies]
 proptest = "1.2.0"
diff --git a/crates/aiken/Cargo.toml b/crates/aiken/Cargo.toml
index 3c0013339..a012d06f9 100644
--- a/crates/aiken/Cargo.toml
+++ b/crates/aiken/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "aiken"
 description = "Cardano smart contract language and toolchain"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 repository = "https://github.com/aiken-lang/aiken"
 homepage = "https://github.com/aiken-lang/aiken"
@@ -36,10 +36,10 @@ regex = "1.7.1"
 serde_json = "1.0.94"
 thiserror = "1.0.39"
 
-aiken-lang = { path = "../aiken-lang", version = "1.0.16-alpha" }
-aiken-lsp = { path = "../aiken-lsp", version = "1.0.16-alpha" }
-aiken-project = { path = '../aiken-project', version = "1.0.16-alpha" }
-uplc = { path = '../uplc', version = "1.0.16-alpha" }
+aiken-lang = { path = "../aiken-lang", version = "1.0.17-alpha" }
+aiken-lsp = { path = "../aiken-lsp", version = "1.0.17-alpha" }
+aiken-project = { path = '../aiken-project', version = "1.0.17-alpha" }
+uplc = { path = '../uplc', version = "1.0.17-alpha" }
 clap_complete = "4.3.2"
 inquire = "0.6.2"
 num-bigint = "0.4.3"
diff --git a/crates/flat-rs/Cargo.toml b/crates/flat-rs/Cargo.toml
index 60130e7f1..8a8d77aa6 100644
--- a/crates/flat-rs/Cargo.toml
+++ b/crates/flat-rs/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "flat-rs"
 description = "Flat codec"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 repository = "https://github.com/aiken-lang/aiken/crates/flat"
 homepage = "https://github.com/aiken-lang/aiken"
diff --git a/crates/uplc/Cargo.toml b/crates/uplc/Cargo.toml
index 3d419d8d2..158913f44 100644
--- a/crates/uplc/Cargo.toml
+++ b/crates/uplc/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "uplc"
 description = "Utilities for working with Untyped Plutus Core"
-version = "1.0.16-alpha"
+version = "1.0.17-alpha"
 edition = "2021"
 repository = "https://github.com/aiken-lang/aiken/crates/uplc"
 homepage = "https://github.com/aiken-lang/aiken"
@@ -33,7 +33,7 @@ serde_json = "1.0.94"
 strum = "0.24.1"
 strum_macros = "0.24.3"
 thiserror = "1.0.39"
-flat-rs = { path = "../flat-rs", version = "1.0.16-alpha" }
+flat-rs = { path = "../flat-rs", version = "1.0.17-alpha" }
 
 [target.'cfg(not(target_family="wasm"))'.dependencies]
 secp256k1 = { version = "0.26.0" }