update haskell-backend to version 85b593e3feca16eb4e597cc63486aafb569…

…b0655
runtimeverification · Jan 9, 2024 · ac95907 · ac95907
1 parent 6a844c0
commit ac95907
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 12 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: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    tag: 85b593e3feca16eb4e597cc63486aafb569b0655
     --sha256: 
     subdir: kore kore-rpc-types
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/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/85b593e3feca16eb4e597cc63486aafb569b0655";
     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: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    commit: 85b593e3feca16eb4e597cc63486aafb569b0655
     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: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    commit: 85b593e3feca16eb4e597cc63486aafb569b0655
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 5e55ca5d13d80053b2c4ef46ea0590dc799b9a50283406b3cadf63dd3e52a736
+      sha256: e7f027352267a94ae6014e71b471331e3cd97d448379332e29d8a06b0907f783
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    commit: 85b593e3feca16eb4e597cc63486aafb569b0655
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    commit: 85b593e3feca16eb4e597cc63486aafb569b0655
     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: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
+    commit: 85b593e3feca16eb4e597cc63486aafb569b0655
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 snapshots: