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

rv-jenkins · rv-auditor · jberthold · commit 57cd6f6aab05 · 2024-04-10T13:05:35.000+10:00
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/booster/cabal.project b/booster/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: a5847301404583e16d55cd4d051b8e605d704fbc
+    --sha256: 
     subdir: kore kore-rpc-types
diff --git a/booster/deps/haskell-backend_release b/booster/deps/haskell-backend_release
@@ -1 +1 @@
-0be07d293a1167615ef9342bb1820350f794e893
+a5847301404583e16d55cd4d051b8e605d704fbc
diff --git a/booster/flake.lock b/booster/flake.lock
diff --git a/booster/flake.nix b/booster/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/a5847301404583e16d55cd4d051b8e605d704fbc";
     stacklock2nix.follows = "haskell-backend/stacklock2nix";
     nixpkgs.follows = "haskell-backend/nixpkgs";
   };
diff --git a/booster/stack.yaml b/booster/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: a5847301404583e16d55cd4d051b8e605d704fbc
     subdirs:
       - kore
       - kore-rpc-types
diff --git a/booster/stack.yaml.lock b/booster/stack.yaml.lock
@@ -54,7 +54,7 @@ packages:
   original:
     hackage: monad-validate-1.2.0.1
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: a5847301404583e16d55cd4d051b8e605d704fbc
     git: https://github.com/runtimeverification/haskell-backend.git
     name: kore
     pantry-tree:
@@ -63,11 +63,11 @@ packages:
     subdir: kore
     version: 0.60.0.0
   original:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: a5847301404583e16d55cd4d051b8e605d704fbc
     git: https://github.com/runtimeverification/haskell-backend.git
     subdir: kore
 - completed:
-    commit: 0be07d293a1167615ef9342bb1820350f794e893
+    commit: a5847301404583e16d55cd4d051b8e605d704fbc
     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: a5847301404583e16d55cd4d051b8e605d704fbc
     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 @@`
`1`		`-0be07d293a1167615ef9342bb1820350f794e893`
	`1`	`+a5847301404583e16d55cd4d051b8e605d704fbc`