Update dependency: deps/haskell-backend_release (#473)

Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Jan 23, 2024 · 889e046 · 889e046
1 parent f295a6a
commit 889e046
Show file tree

Hide file tree

Showing 6 changed files with 13 additions and 13 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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    tag: d9fa6aeb36407193b701059a54307b6368841632
     --sha256: 
     subdir: kore kore-rpc-types
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+d9fa6aeb36407193b701059a54307b6368841632
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/25f07c8b37b85bf19c8ec0894b60a51cb5e73842";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/d9fa6aeb36407193b701059a54307b6368841632";
     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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    commit: d9fa6aeb36407193b701059a54307b6368841632
     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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    commit: d9fa6aeb36407193b701059a54307b6368841632
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: e7f027352267a94ae6014e71b471331e3cd97d448379332e29d8a06b0907f783
+      sha256: 8d8922cd448afd3fcb11c9e45c06b092912d63916499d4afb403e12848092c98
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    commit: d9fa6aeb36407193b701059a54307b6368841632
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    commit: d9fa6aeb36407193b701059a54307b6368841632
     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: 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+    commit: d9fa6aeb36407193b701059a54307b6368841632
     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 @@
		25f07c8b37b85bf19c8ec0894b60a51cb5e73842
		d9fa6aeb36407193b701059a54307b6368841632