From 1702145fbd41f19c0bb235cbf04bf7be52cf8917 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 12 Jun 2024 12:15:42 +0000 Subject: [PATCH] Set Version: 0.1.8 --- booster/package.yaml | 2 +- dev-tools/package.yaml | 2 +- kore-rpc-types/kore-rpc-types.cabal | 2 +- kore/kore.cabal | 2 +- package/version | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/booster/package.yaml b/booster/package.yaml index 825aaaec41..44248cdf92 100644 --- a/booster/package.yaml +++ b/booster/package.yaml @@ -1,5 +1,5 @@ name: hs-backend-booster -version: '0.1.7' +version: '0.1.8' github: "runtimeverification/hs-backend-booster" license: BSD3 author: "Runtime Verification Inc" diff --git a/dev-tools/package.yaml b/dev-tools/package.yaml index 34e2b5c145..c0336c9e04 100644 --- a/dev-tools/package.yaml +++ b/dev-tools/package.yaml @@ -1,5 +1,5 @@ name: hs-backend-booster-dev-tools -version: '0.1.7' +version: '0.1.8' 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 1ef4242a4b..020a4d1f58 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.7 +version: 0.1.8 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 11c9f7f2ca..66e63f9933 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: kore -version: 0.1.7 +version: 0.1.8 description: Please see the [README](README.md) file. category: Language homepage: https://github.com/runtimeverification/haskell-backend#readme diff --git a/package/version b/package/version index 11808190d4..699c6c6d4e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.7 +0.1.8