diff --git a/booster/package.yaml b/booster/package.yaml index 4f308a178c..03a3a1e656 100644 --- a/booster/package.yaml +++ b/booster/package.yaml @@ -1,5 +1,5 @@ name: hs-backend-booster -version: '0.1.109' +version: '0.1.110' github: "runtimeverification/hs-backend-booster" license: BSD3 author: "Runtime Verification Inc" diff --git a/dev-tools/package.yaml b/dev-tools/package.yaml index 18ee7a7bf3..e0b11d48ef 100644 --- a/dev-tools/package.yaml +++ b/dev-tools/package.yaml @@ -1,5 +1,5 @@ name: hs-backend-booster-dev-tools -version: '0.1.109' +version: '0.1.110' 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 3ab374db76..ba2b988328 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.109 +version: 0.1.110 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 52570c73ae..ca96f0a6bd 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: kore -version: 0.1.109 +version: 0.1.110 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 456f9c3a2e..5a81470f6e 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -k-haskell-backend (0.1.109) unstable; urgency=medium +k-haskell-backend (0.1.110) unstable; urgency=medium * Initial release diff --git a/package/version b/package/version index 94e74b8ef3..b6e5c2adfa 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.109 +0.1.110