update haskell-backend to version 8f97e95b77fe590a9fe5a9b0212f32fcad0…

…be35b
runtimeverification · Mar 25, 2024 · 2aa0b2d · 2aa0b2d
1 parent 93e981d
commit 2aa0b2d
Show file tree

Hide file tree

Showing 5 changed files with 13 additions and 13 deletions.
diff --git a/cabal.project b/cabal.project
@@ -5,7 +5,7 @@ packages:
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    tag: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     subdir: kore kore-rpc-types
 
 source-repository-package

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "hs-backend-booster";
 
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/c62d2a871ea2bbc406a0e452a88a90e9f08910ac";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/8f97e95b77fe590a9fe5a9b0212f32fcad0be35b";
     stacklock2nix.follows = "haskell-backend/stacklock2nix";
     nixpkgs.follows = "haskell-backend/nixpkgs";
   };

diff --git a/stack.yaml b/stack.yaml
@@ -12,7 +12,7 @@ extra-deps:
   - smtlib-backends-process-0.3
   - monad-validate-1.3.0.0
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     subdirs:
       - kore
       - kore-rpc-types

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -40,29 +40,29 @@ packages:
   original:
     hackage: monad-validate-1.3.0.0
 - completed:
-    commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: b94a2cb5757938afa8be88a4bc97e5bf6a014848e8f607bd82b6aae0e8944f83
+      sha256: a7a48f4ac7cfc7c20acdf6bf477b31483f5850ebc799e3100e82bcaf0d878b1f
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
-      sha256: b8652673ea6a0323f7fdd9d487c120a899ce07c12524ba72d982953705e3cee3
+      sha256: c08829b9bd9b68d767f4a6833f0ab56d0e8841ac28571b5cec21ae85f0fc37f4
       size: 476
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac
+    commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 - completed: