From 4b6f386e8700de7f761ccde53179b006beb7dd20 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 16 Feb 2024 09:26:38 -0700
Subject: [PATCH] Update dependency: deps/hs-backend-booster_release (#3937)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Bruce Collie <brucecollie82@gmail.com>
---
 deps/hs-backend-booster_release               |  2 +-
 flake.lock                                    | 22 +++++++++----------
 flake.nix                                     |  4 ++--
 .../src/main/native/haskell-backend           |  2 +-
 .../src/main/native/hs-backend-booster        |  2 +-
 5 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index f68404f8c2d..796a2184daa 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-0ef6ecd37e193a736ddc1d9dc047c24646c4a324
+db11dddfb7d82ee95bb038787bff2b44a94c38d5
diff --git a/flake.lock b/flake.lock
index 79fd8fbcd34..a4866a7e758 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1706622743,
-        "narHash": "sha256-hdgFFYz2NorC9mIU8arNyN2H/fOJ50bDW7ptMjsliYk=",
+        "lastModified": 1708092157,
+        "narHash": "sha256-9BMd14uwtooOrMjg3tc5O6ZnBtb3R3QRX2xHQR56/eQ=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "0ef6ecd37e193a736ddc1d9dc047c24646c4a324",
+        "rev": "db11dddfb7d82ee95bb038787bff2b44a94c38d5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "0ef6ecd37e193a736ddc1d9dc047c24646c4a324",
+        "rev": "db11dddfb7d82ee95bb038787bff2b44a94c38d5",
         "type": "github"
       }
     },
@@ -87,17 +87,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1706261911,
-        "narHash": "sha256-ntTfZAkMT/F8iw2A4sC03oCR5Gt1ijqXHAIjDcQ3xhE=",
+        "lastModified": 1707995162,
+        "narHash": "sha256-MNS3MUu8xY0Ve8vT/uafTGABMoECOrJufQ2wsgHGF00=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
+        "rev": "e320d4b9dfe9fefa713311c99794ea5ba1950af1",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
+        "rev": "e320d4b9dfe9fefa713311c99794ea5ba1950af1",
         "type": "github"
       }
     },
@@ -171,11 +171,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1696983906,
-        "narHash": "sha256-L7GyeErguS7Pg4h8nK0wGlcUTbfUMDu+HMf1UcyP72k=",
+        "lastModified": 1704290814,
+        "narHash": "sha256-LWvKHp7kGxk/GEtlrGYV68qIvPHkU9iToomNFGagixU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "bd1cde45c77891214131cbbea5b1203e485a9d51",
+        "rev": "70bdadeb94ffc8806c0570eb5c2695ad29f0e421",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 9224f5093a4..affd1ae1bfe 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/3779155b609ae78c928d7b47c541b9b6ca969181";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/e320d4b9dfe9fefa713311c99794ea5ba1950af1";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/0ef6ecd37e193a736ddc1d9dc047c24646c4a324";
+      url = "github:runtimeverification/hs-backend-booster/db11dddfb7d82ee95bb038787bff2b44a94c38d5";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 3779155b609..e320d4b9dfe 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 3779155b609ae78c928d7b47c541b9b6ca969181
+Subproject commit e320d4b9dfe9fefa713311c99794ea5ba1950af1
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index 0ef6ecd37e1..db11dddfb7d 160000
--- a/hs-backend-booster/src/main/native/hs-backend-booster
+++ b/hs-backend-booster/src/main/native/hs-backend-booster
@@ -1 +1 @@
-Subproject commit 0ef6ecd37e193a736ddc1d9dc047c24646c4a324
+Subproject commit db11dddfb7d82ee95bb038787bff2b44a94c38d5