From fb10ed032b3acda3eb4bcf1f66c667b9cb1c87d1 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 21 Sep 2023 16:42:37 -0600
Subject: [PATCH] Update dependency: deps/hs-backend-booster_release (#3633)

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Georgy Lukyanov <mail@geo2a.info>
---
 deps/hs-backend-booster_release               |  2 +-
 flake.lock                                    | 24 +++++++++----------
 flake.nix                                     |  4 ++--
 .../src/main/native/haskell-backend           |  2 +-
 .../src/main/native/hs-backend-booster        |  2 +-
 5 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 5ac5c47fc08..f73b59a5abb 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-6bc7251015fb151652607cd72144ab6b9865e665
+b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe
diff --git a/flake.lock b/flake.lock
index dfe25c9fae6..0c43822d99a 100644
--- a/flake.lock
+++ b/flake.lock
@@ -47,17 +47,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1694161258,
-        "narHash": "sha256-6SjCUhe7QmtIIWSDcgrVROYwMGt5ri5lSPCoyzIK4Cs=",
+        "lastModified": 1695212979,
+        "narHash": "sha256-TcTN+qV+QPVnJFjtVkCHBeyd6bxLOIsi2AWTmVb8U8Y=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "6bc7251015fb151652607cd72144ab6b9865e665",
+        "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "6bc7251015fb151652607cd72144ab6b9865e665",
+        "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe",
         "type": "github"
       }
     },
@@ -439,17 +439,17 @@
         "z3-src": "z3-src"
       },
       "locked": {
-        "lastModified": 1694079346,
-        "narHash": "sha256-H2sVXMMrgL8f9Ir6mA1o2VITxvO6Nuxrn2gdGmjlKy4=",
+        "lastModified": 1695129967,
+        "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef",
+        "rev": "63397c713d21322434d572281c1407d929a1189e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef",
+        "rev": "85b5d086840a0f1e89499f086b50d7258598fc8b",
         "type": "github"
       }
     },
@@ -465,17 +465,17 @@
         "z3-src": "z3-src_2"
       },
       "locked": {
-        "lastModified": 1694079346,
-        "narHash": "sha256-H2sVXMMrgL8f9Ir6mA1o2VITxvO6Nuxrn2gdGmjlKy4=",
+        "lastModified": 1695129967,
+        "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef",
+        "rev": "63397c713d21322434d572281c1407d929a1189e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef",
+        "rev": "63397c713d21322434d572281c1407d929a1189e",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index a4d75d82f22..1eaaf262a52 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,9 +2,9 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/6bc7251015fb151652607cd72144ab6b9865e665";
+      url = "github:runtimeverification/hs-backend-booster/b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 0d98bc9c629..63397c713d2 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef
+Subproject commit 63397c713d21322434d572281c1407d929a1189e
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index 6bc7251015f..b01c3d72907 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 6bc7251015fb151652607cd72144ab6b9865e665
+Subproject commit b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe