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

Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Mar 1, 2024 · 20c059c · 20c059c
1 parent 1f693f0
commit 20c059c
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 12 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: 62a3e13dc5c681a536271b834b11098aae9bce35
+    tag: 0dcecfab68794c3b47d32404145dac0f9690f65d
     subdir: kore kore-rpc-types
 
 source-repository-package

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-62a3e13dc5c681a536271b834b11098aae9bce35
+0dcecfab68794c3b47d32404145dac0f9690f65d
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/62a3e13dc5c681a536271b834b11098aae9bce35";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/0dcecfab68794c3b47d32404145dac0f9690f65d";
     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: 62a3e13dc5c681a536271b834b11098aae9bce35
+    commit: 0dcecfab68794c3b47d32404145dac0f9690f65d
     subdirs:
       - kore
       - kore-rpc-types

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -40,7 +40,7 @@ packages:
   original:
     hackage: monad-validate-1.3.0.0
 - completed:
-    commit: 62a3e13dc5c681a536271b834b11098aae9bce35
+    commit: 0dcecfab68794c3b47d32404145dac0f9690f65d
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
@@ -49,11 +49,11 @@ packages:
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: 62a3e13dc5c681a536271b834b11098aae9bce35
+    commit: 0dcecfab68794c3b47d32404145dac0f9690f65d
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: 62a3e13dc5c681a536271b834b11098aae9bce35
+    commit: 0dcecfab68794c3b47d32404145dac0f9690f65d
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
@@ -62,7 +62,7 @@ packages:
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: 62a3e13dc5c681a536271b834b11098aae9bce35
+    commit: 0dcecfab68794c3b47d32404145dac0f9690f65d
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore-rpc-types
 - completed:
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		62a3e13dc5c681a536271b834b11098aae9bce35
		0dcecfab68794c3b47d32404145dac0f9690f65d