diff --git a/booster/hs-backend-booster.cabal b/booster/hs-backend-booster.cabal
index 9f1a2768b9..878a531a88 100644
--- a/booster/hs-backend-booster.cabal
+++ b/booster/hs-backend-booster.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           hs-backend-booster
-version:        0.1.0
+version:        0.1.155
 synopsis:       A simple rewrite engine to accelerate K Framework's Haskell backend
 description:    See [README](README.md)
 category:       Language
diff --git a/booster/package.yaml b/booster/package.yaml
index f465fca43b..e3bd07db2a 100644
--- a/booster/package.yaml
+++ b/booster/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster
-version: '0.1.0'
+version: '0.1.155'
 github: "runtimeverification/hs-backend-booster"
 license: BSD3
 author: "Runtime Verification Inc"
diff --git a/dev-tools/hs-backend-booster-dev-tools.cabal b/dev-tools/hs-backend-booster-dev-tools.cabal
index e7325733be..d018ba0030 100644
--- a/dev-tools/hs-backend-booster-dev-tools.cabal
+++ b/dev-tools/hs-backend-booster-dev-tools.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           hs-backend-booster-dev-tools
-version:        0.1.0
+version:        0.1.155
 synopsis:       Dev-tools for hs-backend-booster
 category:       Language
 homepage:       https://github.com/runtimeverification/hs-backend-booster#readme
diff --git a/dev-tools/package.yaml b/dev-tools/package.yaml
index 52e1e9f8c5..80f2b5fad9 100644
--- a/dev-tools/package.yaml
+++ b/dev-tools/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster-dev-tools
-version: '0.1.0'
+version: '0.1.155'
 github: "runtimeverification/hs-backend-booster"
 license: BSD3
 author: "Runtime Verification Inc"
diff --git a/kore-rpc-types/kore-rpc-types.cabal b/kore-rpc-types/kore-rpc-types.cabal
index 883a4673ff..13bdb43cee 100644
--- a/kore-rpc-types/kore-rpc-types.cabal
+++ b/kore-rpc-types/kore-rpc-types.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore-rpc-types
-version:        0.1.0
+version:        0.1.155
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/runtimeverification/haskell-backend#readme
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 51e2194029..e35b7782eb 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.1.0
+version:        0.1.155
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/runtimeverification/haskell-backend#readme
diff --git a/package/debian/changelog b/package/debian/changelog
index e43ac9f61f..2bab93f70e 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,4 +1,4 @@
-k-haskell-backend (0.1.0) unstable; urgency=medium
+k-haskell-backend (0.1.155) unstable; urgency=medium
 
   * Initial release
 
diff --git a/package/version b/package/version
index 6e8bf73aa5..7a29ae6cd9 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.0
+0.1.155