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

Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Dec 20, 2023 · 65c2d7c · 65c2d7c
1 parent 4ab3fc3
commit 65c2d7c
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: a5847301404583e16d55cd4d051b8e605d704fbc
+    tag: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     --sha256: 
     subdir: kore kore-rpc-types
diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
@@ -1 +1 @@
-a5847301404583e16d55cd4d051b8e605d704fbc
+ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
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/a5847301404583e16d55cd4d051b8e605d704fbc";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f";
     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: a5847301404583e16d55cd4d051b8e605d704fbc
+    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     subdirs:
       - kore
       - kore-rpc-types

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -54,29 +54,29 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: a5847301404583e16d55cd4d051b8e605d704fbc
+    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
-      sha256: 30a502eda589be5af735b1b59760ce3e0235c0cae8961978a46b3564dd8db32b
+      sha256: 5e55ca5d13d80053b2c4ef46ea0590dc799b9a50283406b3cadf63dd3e52a736
       size: 44685
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: a5847301404583e16d55cd4d051b8e605d704fbc
+    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: a5847301404583e16d55cd4d051b8e605d704fbc
+    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore-rpc-types
     pantry-tree:
-      sha256: 612bd29531bf7245dbc13176569e51e089d6887118d50566af326e079c18c18e
+      sha256: c9493d99798fa850782738ab91801b66b79b64a7f931b94d21d14a7144141516
       size: 476
     subdir: kore-rpc-types
     version: 0.60.0.0
   original:
-    commit: a5847301404583e16d55cd4d051b8e605d704fbc
+    commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f
     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 @@
		a5847301404583e16d55cd4d051b8e605d704fbc
		ca05f14b7957fec9f2a5ab3444cae01c5a76f12f