Skip to content

Commit

Permalink
Set Version: 0.1.51
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Jul 29, 2024
1 parent 94b3d44 commit 082335a
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion booster/package.yaml
Original file line number Diff line number Diff line change
@@ -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"
Expand Down
2 changes: 1 addition & 1 deletion dev-tools/package.yaml
Original file line number Diff line number Diff line change
@@ -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"
Expand Down
2 changes: 1 addition & 1 deletion kore-rpc-types/kore-rpc-types.cabal
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion kore/kore.cabal
Original file line number Diff line number Diff line change
@@ -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
Expand Down
2 changes: 1 addition & 1 deletion package/debian/changelog
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
k-haskell-backend (0.1.50) unstable; urgency=medium
k-haskell-backend (0.1.51) unstable; urgency=medium

* Initial release

Expand Down
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.50
0.1.51

0 comments on commit 082335a

Please sign in to comment.