From 0f1379979c966bf8d89a75746375c9f0fe5520b8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 30 Jul 2024 10:54:30 +0000
Subject: [PATCH] Set Version: 0.1.53

---
 booster/package.yaml                | 2 +-
 dev-tools/package.yaml              | 2 +-
 kore-rpc-types/kore-rpc-types.cabal | 2 +-
 kore/kore.cabal                     | 2 +-
 package/debian/changelog            | 2 +-
 package/version                     | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/booster/package.yaml b/booster/package.yaml
index 7c2b3c40b3..64ad5c0093 100644
--- a/booster/package.yaml
+++ b/booster/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster
-version: '0.1.52'
+version: '0.1.53'
 github: "runtimeverification/hs-backend-booster"
 license: BSD3
 author: "Runtime Verification Inc"
diff --git a/dev-tools/package.yaml b/dev-tools/package.yaml
index 4f2074dc4b..c6ae44b0aa 100644
--- a/dev-tools/package.yaml
+++ b/dev-tools/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster-dev-tools
-version: '0.1.52'
+version: '0.1.53'
 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 1a5f7fb0c4..aa5a159447 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.52
+version:        0.1.53
 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 d46dc80a7b..13f074672c 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.1.52
+version:        0.1.53
 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 a8ce69227b..ff5cbf6ef3 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,4 +1,4 @@
-k-haskell-backend (0.1.52) unstable; urgency=medium
+k-haskell-backend (0.1.53) unstable; urgency=medium
 
   * Initial release
 
diff --git a/package/version b/package/version
index 9c4d21fb32..a4c528cd58 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.52
+0.1.53