Skip to content

Commit

Permalink
Set Version: 0.1.98
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Nov 14, 2024
1 parent 7afa813 commit 5a2777d
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.97'
version: '0.1.98'
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.97'
version: '0.1.98'
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.97
version: 0.1.98
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.97
version: 0.1.98
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.97) unstable; urgency=medium
k-haskell-backend (0.1.98) 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.97
0.1.98

0 comments on commit 5a2777d

Please sign in to comment.