update haskell-backend to version e5acf81a007af880c552391a8d6030007af…

…b0b6c
runtimeverification · Dec 6, 2023 · 55c8900 · 55c8900
1 parent 5294940
commit 55c8900
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 14 deletions.
diff --git a/cabal.project b/cabal.project
@@ -20,6 +20,6 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/runtimeverification/haskell-backend.git
-    tag: 0be07d293a1167615ef9342bb1820350f794e893
-    --sha256:
+    tag: e5acf81a007af880c552391a8d6030007afb0b6c
+    --sha256: 
     subdir: kore kore-rpc-types
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-0be07d293a1167615ef9342bb1820350f794e893
+e5acf81a007af880c552391a8d6030007afb0b6c
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/0be07d293a1167615ef9342bb1820350f794e893";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/e5acf81a007af880c552391a8d6030007afb0b6c";
     stacklock2nix.follows = "haskell-backend/stacklock2nix";
     nixpkgs.follows = "haskell-backend/nixpkgs";
   };

diff --git a/stack.yaml b/stack.yaml
@@ -14,7 +14,7 @@ extra-deps:
   - typerep-map-0.5.0.0
   - monad-validate-1.2.0.1
   - git: https://github.com/runtimeverification/haskell-backend.git
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     subdirs:
       - kore
       - kore-rpc-types

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -54,20 +54,20 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 30a502eda589be5af735b1b59760ce3e0235c0cae8961978a46b3564dd8db32b
+      sha256: bc6273d40ccd670a03adaa5912d9a3110c5feae8b766c73352e30afd66875b64
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
@@ -76,7 +76,7 @@ packages:
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: e5acf81a007af880c552391a8d6030007afb0b6c
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 snapshots:
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		0be07d293a1167615ef9342bb1820350f794e893
		e5acf81a007af880c552391a8d6030007afb0b6c