Set Version: 0.1.51

rv-auditor · rv-auditor · commit 082335a00314 · 2024-07-29T13:36:45.000Z
diff --git a/booster/package.yaml b/booster/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster
-version: '0.1.50'
+version: '0.1.51'
 github: "runtimeverification/hs-backend-booster"
 license: BSD3
 author: "Runtime Verification Inc"
diff --git a/dev-tools/package.yaml b/dev-tools/package.yaml
@@ -1,5 +1,5 @@
 name: hs-backend-booster-dev-tools
-version: '0.1.50'
+version: '0.1.51'
 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
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore-rpc-types
-version:        0.1.50
+version:        0.1.51
 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
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.1.50
+version:        0.1.51
 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
@@ -1,4 +1,4 @@
-k-haskell-backend (0.1.50) unstable; urgency=medium
+k-haskell-backend (0.1.51) unstable; urgency=medium
 
   * Initial release
 
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.50
+0.1.51

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-k-haskell-backend (0.1.50) unstable; urgency=medium`
	`1`	`+k-haskell-backend (0.1.51) unstable; urgency=medium`
`2`	`2`
`3`	`3`	`* Initial release`
`4`	`4`