From d9e3068804d93d2267cdb3bd0a9c8392f197f707 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 22 Aug 2024 11:05:20 +0000
Subject: [PATCH 01/39] deps/haskell-backend_release: Set Version v0.1.77

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index f72ad9b0b5..d86a8ee6e6 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.76
+v0.1.77

From 61ff16becd2dc67eb9d92f7ddc02843f6bd7d317 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 22 Aug 2024 11:06:17 +0000
Subject: [PATCH 02/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.77

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index d1493b4b0c..e9f5388d69 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.81";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.76";
+      url = "github:runtimeverification/haskell-backend/v0.1.77";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index ae2da4aa2a..7620447396 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit ae2da4aa2abc7a1cf64bc97119cc0a60ee4f8615
+Subproject commit 7620447396acfc542bba2eebf880fc7fe28e22f0

From 34914539efb72a7a4b43838100651811ded0f9e4 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 22 Aug 2024 11:06:31 +0000
Subject: [PATCH 03/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 89b4e8b100..1f6b1d3152 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724225719,
-        "narHash": "sha256-gR5GDTXdHksn773+pKqvdGaXvBMtVLujFURrEQClfJw=",
+        "lastModified": 1724323523,
+        "narHash": "sha256-cF60WfBaPDu55GrQe1ZFu18BMCMt0bFl5Jzq6XzH8/A=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "ae2da4aa2abc7a1cf64bc97119cc0a60ee4f8615",
+        "rev": "7620447396acfc542bba2eebf880fc7fe28e22f0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.76",
+        "ref": "v0.1.77",
         "repo": "haskell-backend",
         "type": "github"
       }

From 66adb481d5f49d95264ae812fb918aeb9606c1fe Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 26 Aug 2024 17:36:53 +0000
Subject: [PATCH 04/39] deps/haskell-backend_release: Set Version v0.1.78

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index d86a8ee6e6..5b26e57e0c 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.77
+v0.1.78

From 5151a17b33cb0726ec45e1173d3f02686bd22aea Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 26 Aug 2024 17:37:51 +0000
Subject: [PATCH 05/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.78

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 22183b68e8..6db8b0d2c5 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.84";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.77";
+      url = "github:runtimeverification/haskell-backend/v0.1.78";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 7620447396..79a1ea177b 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 7620447396acfc542bba2eebf880fc7fe28e22f0
+Subproject commit 79a1ea177b7c06fc08aada15d62c5042218913ff

From dc3ee39460b20d80df9c08a3a7a6dd3b615246fd Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 26 Aug 2024 17:38:04 +0000
Subject: [PATCH 06/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index d7889055c0..7e4ee4c84f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724323523,
-        "narHash": "sha256-cF60WfBaPDu55GrQe1ZFu18BMCMt0bFl5Jzq6XzH8/A=",
+        "lastModified": 1724692448,
+        "narHash": "sha256-AC8DyoeLCw5l5Du4Thk7skDCOpE/Mqq2/gI7/Dk2Wcc=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "7620447396acfc542bba2eebf880fc7fe28e22f0",
+        "rev": "79a1ea177b7c06fc08aada15d62c5042218913ff",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.77",
+        "ref": "v0.1.78",
         "repo": "haskell-backend",
         "type": "github"
       }

From ed8eaaa9e7427c4b8737f9f4d99ff074d8d8816d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 28 Aug 2024 19:59:00 +0000
Subject: [PATCH 07/39] deps/haskell-backend_release: Set Version v0.1.79

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 5b26e57e0c..8e84f70037 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.78
+v0.1.79

From a9ffef5a0962b6ccff382b27ae0abce8caa901e8 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 28 Aug 2024 20:00:00 +0000
Subject: [PATCH 08/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.79

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 6db8b0d2c5..c557ae54b7 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.84";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.78";
+      url = "github:runtimeverification/haskell-backend/v0.1.79";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 79a1ea177b..44ce8d5720 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 79a1ea177b7c06fc08aada15d62c5042218913ff
+Subproject commit 44ce8d57207009c7fb08cd5c7772ac195b81dc56

From af3f2e07d260de95dca3fd52dda128f9e8b4089e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 28 Aug 2024 20:00:15 +0000
Subject: [PATCH 09/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 7e4ee4c84f..999376a6e1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724692448,
-        "narHash": "sha256-AC8DyoeLCw5l5Du4Thk7skDCOpE/Mqq2/gI7/Dk2Wcc=",
+        "lastModified": 1724873753,
+        "narHash": "sha256-0x3sNbS8CH6TDNYm4A1XffScGZBaUR/mkgKej9dHj+I=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "79a1ea177b7c06fc08aada15d62c5042218913ff",
+        "rev": "44ce8d57207009c7fb08cd5c7772ac195b81dc56",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.78",
+        "ref": "v0.1.79",
         "repo": "haskell-backend",
         "type": "github"
       }

From 845dc43f33b49c96268a76832707a05d8c7ed118 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 3 Sep 2024 23:00:17 +0000
Subject: [PATCH 10/39] deps/haskell-backend_release: Set Version v0.1.80

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 8e84f70037..73a3c6bb4a 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.79
+v0.1.80

From 30d398d932dc3cc6ed3be72108d8a78c10b193d6 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 3 Sep 2024 23:01:25 +0000
Subject: [PATCH 11/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.80

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index a42eefb50e..8be6a9fd79 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.84";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.79";
+      url = "github:runtimeverification/haskell-backend/v0.1.80";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 44ce8d5720..1ba4aaac64 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 44ce8d57207009c7fb08cd5c7772ac195b81dc56
+Subproject commit 1ba4aaac64973d1bdb5da3b047130a133cf0f11b

From 9e37c487d1871aa9e4e3a6faa43934f0cf215dcc Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 3 Sep 2024 23:01:40 +0000
Subject: [PATCH 12/39] flake.lock: update

---
 flake.lock | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/flake.lock b/flake.lock
index 1372b0375d..1dede130fa 100644
--- a/flake.lock
+++ b/flake.lock
@@ -21,11 +21,11 @@
         "systems": "systems_2"
       },
       "locked": {
-        "lastModified": 1694529238,
-        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
         "type": "github"
       },
       "original": {
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724873753,
-        "narHash": "sha256-0x3sNbS8CH6TDNYm4A1XffScGZBaUR/mkgKej9dHj+I=",
+        "lastModified": 1725403090,
+        "narHash": "sha256-an95jgsBNBf8QEk0zfMEc/R6eoAptNNK2px7hp0EETs=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "44ce8d57207009c7fb08cd5c7772ac195b81dc56",
+        "rev": "1ba4aaac64973d1bdb5da3b047130a133cf0f11b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.79",
+        "ref": "v0.1.80",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -134,11 +134,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1693660503,
-        "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=",
+        "lastModified": 1703863825,
+        "narHash": "sha256-rXwqjtwiGKJheXB43ybM8NwWB8rO2dSRrEqes0S7F5Y=",
         "owner": "nix-community",
         "repo": "nix-github-actions",
-        "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0",
+        "rev": "5163432afc817cf8bd1f031418d1869e4c9d5547",
         "type": "github"
       },
       "original": {
@@ -327,11 +327,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1697388351,
-        "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=",
+        "lastModified": 1719749022,
+        "narHash": "sha256-ddPKHcqaKCIFSFc/cvxS14goUhCOAwsM1PbMr0ZtHMg=",
         "owner": "numtide",
         "repo": "treefmt-nix",
-        "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a",
+        "rev": "8df5ff62195d4e67e2264df0b7f5e8c9995fd0bd",
         "type": "github"
       },
       "original": {

From c449855d8c55bf45a3ac294d912e184ed31ea4e3 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 9 Sep 2024 20:59:02 +0000
Subject: [PATCH 13/39] deps/haskell-backend_release: Set Version v0.1.81

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 73a3c6bb4a..f12bd4d66a 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.80
+v0.1.81

From 2a497b07fa4ddd3147e42e6ef13f7ea6d842e460 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 9 Sep 2024 20:59:57 +0000
Subject: [PATCH 14/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.81

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 8be6a9fd79..817546b095 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.84";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.80";
+      url = "github:runtimeverification/haskell-backend/v0.1.81";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 1ba4aaac64..ed919aa17f 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 1ba4aaac64973d1bdb5da3b047130a133cf0f11b
+Subproject commit ed919aa17fe7a322c795e91c7b78d87c470df5f2

From e5340387754ce3bae088d854a90f012418a4ed46 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 9 Sep 2024 21:00:11 +0000
Subject: [PATCH 15/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 1dede130fa..e096b50883 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1725403090,
-        "narHash": "sha256-an95jgsBNBf8QEk0zfMEc/R6eoAptNNK2px7hp0EETs=",
+        "lastModified": 1725914307,
+        "narHash": "sha256-xDySx6oKWFlY1kwNSyNgdMjg6XWiJ++3T4JdmbxPuyI=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "1ba4aaac64973d1bdb5da3b047130a133cf0f11b",
+        "rev": "ed919aa17fe7a322c795e91c7b78d87c470df5f2",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.80",
+        "ref": "v0.1.81",
         "repo": "haskell-backend",
         "type": "github"
       }

From b90ba96ec7bc1a55d78ce3f14c78b4a4c17ea65b Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 16 Sep 2024 16:36:31 +0000
Subject: [PATCH 16/39] deps/haskell-backend_release: Set Version v0.1.82

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index f12bd4d66a..afb3e99ed9 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.81
+v0.1.82

From 9b50cf4555a6bc55313470bdf2d2f7c9e07f49ab Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 16 Sep 2024 16:37:39 +0000
Subject: [PATCH 17/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.82

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index e36936b699..326d2d1687 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.88";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.81";
+      url = "github:runtimeverification/haskell-backend/v0.1.82";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index ed919aa17f..0bff84aa9a 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit ed919aa17fe7a322c795e91c7b78d87c470df5f2
+Subproject commit 0bff84aa9a1672ee48f2ef7c742af9f7b2ba8d5d

From a024fd42fecdbf205d5e60c36481f6507cf8aa79 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 16 Sep 2024 16:37:53 +0000
Subject: [PATCH 18/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 956368c79c..0a52c733cc 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1725914307,
-        "narHash": "sha256-xDySx6oKWFlY1kwNSyNgdMjg6XWiJ++3T4JdmbxPuyI=",
+        "lastModified": 1726503292,
+        "narHash": "sha256-WiVQix0dhckvdBT61o6cJfY7/SmqUjChopQNgBo4Xfg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "ed919aa17fe7a322c795e91c7b78d87c470df5f2",
+        "rev": "0bff84aa9a1672ee48f2ef7c742af9f7b2ba8d5d",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.81",
+        "ref": "v0.1.82",
         "repo": "haskell-backend",
         "type": "github"
       }

From e6fda56ace20c1bc4638f412d0ea09a3a5cadadb Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 24 Sep 2024 16:36:46 +0000
Subject: [PATCH 19/39] deps/haskell-backend_release: Set Version v0.1.83

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index afb3e99ed9..a38cc5bdcc 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.82
+v0.1.83

From bee08f265b42a8ed04af0683337ebcd9216c2397 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 24 Sep 2024 16:37:45 +0000
Subject: [PATCH 20/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.83

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 5f9059729b..cf77400809 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.94";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.82";
+      url = "github:runtimeverification/haskell-backend/v0.1.83";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 0bff84aa9a..ce2b9ac85a 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 0bff84aa9a1672ee48f2ef7c742af9f7b2ba8d5d
+Subproject commit ce2b9ac85a81fea232cd7819414531d77e260e08

From b9e87ce1c9f1e7a81ed85516c6d2ed40184eb924 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 24 Sep 2024 16:37:59 +0000
Subject: [PATCH 21/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 8a8f0733dd..760cafc6bb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1726503292,
-        "narHash": "sha256-WiVQix0dhckvdBT61o6cJfY7/SmqUjChopQNgBo4Xfg=",
+        "lastModified": 1727194467,
+        "narHash": "sha256-k5WzpMhJ7zTJ/mPMZQhU48KiRyHk1vTYHrOYHQD1kI8=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0bff84aa9a1672ee48f2ef7c742af9f7b2ba8d5d",
+        "rev": "ce2b9ac85a81fea232cd7819414531d77e260e08",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.82",
+        "ref": "v0.1.83",
         "repo": "haskell-backend",
         "type": "github"
       }

From 3916e60340e663f8d8822ae08e61b7e310fd2bf4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 26 Sep 2024 07:24:15 +0000
Subject: [PATCH 22/39] deps/haskell-backend_release: Set Version v0.1.84

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index a38cc5bdcc..a783aed940 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.83
+v0.1.84

From ed71ae9152bdeaaf6d7a1696b7854f2c6a3e0a15 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 26 Sep 2024 07:25:14 +0000
Subject: [PATCH 23/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.84

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 62185c16b8..124398a3c2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.95";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.83";
+      url = "github:runtimeverification/haskell-backend/v0.1.84";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index ce2b9ac85a..ddf8abb8d4 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit ce2b9ac85a81fea232cd7819414531d77e260e08
+Subproject commit ddf8abb8d47871631f2c527409e831bad217bec0

From cb94ff15a9299b963ce186fe6703fce155909657 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 26 Sep 2024 07:25:29 +0000
Subject: [PATCH 24/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 6fbb747d43..e40b1655e2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1727194467,
-        "narHash": "sha256-k5WzpMhJ7zTJ/mPMZQhU48KiRyHk1vTYHrOYHQD1kI8=",
+        "lastModified": 1727334045,
+        "narHash": "sha256-J73wUjYeNBdBDMIr4dovHItaodh1Vpk/mut9QxHy4vg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "ce2b9ac85a81fea232cd7819414531d77e260e08",
+        "rev": "ddf8abb8d47871631f2c527409e831bad217bec0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.83",
+        "ref": "v0.1.84",
         "repo": "haskell-backend",
         "type": "github"
       }

From ccd468907691973e226240214d554e77d9e10b42 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 1 Oct 2024 13:42:37 +0000
Subject: [PATCH 25/39] deps/haskell-backend_release: Set Version v0.1.85

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index a783aed940..b565805ca3 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.84
+v0.1.85

From 507d70db671584e9fda01b56f793d32204fcbdcc Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 1 Oct 2024 13:43:40 +0000
Subject: [PATCH 26/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.85

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 124398a3c2..e95bbf2626 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.95";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.84";
+      url = "github:runtimeverification/haskell-backend/v0.1.85";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index ddf8abb8d4..8500209da5 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit ddf8abb8d47871631f2c527409e831bad217bec0
+Subproject commit 8500209da5038ce399e0799f27913444767dd9b5

From 83c9fc0a0138b0ea0f7b0529df702804197f3ed0 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 1 Oct 2024 13:43:54 +0000
Subject: [PATCH 27/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index e40b1655e2..501d9c22e6 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1727334045,
-        "narHash": "sha256-J73wUjYeNBdBDMIr4dovHItaodh1Vpk/mut9QxHy4vg=",
+        "lastModified": 1727788739,
+        "narHash": "sha256-3ot4UCpsaqQ8/L/j/4xzRtO9mlh6yid/syEDjYKGe/8=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "ddf8abb8d47871631f2c527409e831bad217bec0",
+        "rev": "8500209da5038ce399e0799f27913444767dd9b5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.84",
+        "ref": "v0.1.85",
         "repo": "haskell-backend",
         "type": "github"
       }

From 4ae921154334fd772ea20f65e9bcd41328cac4a6 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 7 Oct 2024 20:36:38 +0000
Subject: [PATCH 28/39] deps/haskell-backend_release: Set Version v0.1.86

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index b565805ca3..1ed86cbbb5 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.85
+v0.1.86

From 71f149e5d7a72ca6b89af4f7c75137c63e5f80fe Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 7 Oct 2024 20:37:42 +0000
Subject: [PATCH 29/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.86

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 0ff4abbc21..ad9d47bcef 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.98";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.85";
+      url = "github:runtimeverification/haskell-backend/v0.1.86";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 8500209da5..43d9febe52 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 8500209da5038ce399e0799f27913444767dd9b5
+Subproject commit 43d9febe522164dba5f40c12db16a205db4a87ee

From 6b01e34fd75a577156a4ab2f23a5483365f71b23 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 7 Oct 2024 20:37:56 +0000
Subject: [PATCH 30/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 0d577069bd..c7b0148a5d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1727788739,
-        "narHash": "sha256-3ot4UCpsaqQ8/L/j/4xzRtO9mlh6yid/syEDjYKGe/8=",
+        "lastModified": 1728332048,
+        "narHash": "sha256-KPdvJ1XwTNd8xpP0fNMgPZMxk+gJ9mE3erHYK4aWIYE=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "8500209da5038ce399e0799f27913444767dd9b5",
+        "rev": "43d9febe522164dba5f40c12db16a205db4a87ee",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.85",
+        "ref": "v0.1.86",
         "repo": "haskell-backend",
         "type": "github"
       }

From dec32c64373c392c6f90f5c2efb435ebd4d99590 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 14 Oct 2024 23:59:40 +0000
Subject: [PATCH 31/39] deps/haskell-backend_release: Set Version v0.1.87

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 1ed86cbbb5..22911abb1b 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.86
+v0.1.87

From 5f49c26081ac8ed0b7624e2720d852014130bc47 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 15 Oct 2024 00:00:40 +0000
Subject: [PATCH 32/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.87

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 0377df7e45..abb1225d01 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.99";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.86";
+      url = "github:runtimeverification/haskell-backend/v0.1.87";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 43d9febe52..f6eaf34d5d 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 43d9febe522164dba5f40c12db16a205db4a87ee
+Subproject commit f6eaf34d5d72fb30249573a545a4444f975509ff

From 833a2f0bd21269ed1e227c12d1b47c6a5581c37e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 15 Oct 2024 00:00:54 +0000
Subject: [PATCH 33/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 8e1f197f52..288536edb8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1728332048,
-        "narHash": "sha256-KPdvJ1XwTNd8xpP0fNMgPZMxk+gJ9mE3erHYK4aWIYE=",
+        "lastModified": 1728949039,
+        "narHash": "sha256-kspwgGLi/ItVYKxK13MDwdl4I/eRRNtljypnP9vkBUM=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "43d9febe522164dba5f40c12db16a205db4a87ee",
+        "rev": "f6eaf34d5d72fb30249573a545a4444f975509ff",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.86",
+        "ref": "v0.1.87",
         "repo": "haskell-backend",
         "type": "github"
       }

From 101c6fe7b63b001191cf94ba04bbda8bd09b9dc1 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 15 Oct 2024 11:46:47 +0000
Subject: [PATCH 34/39] deps/haskell-backend_release: Set Version v0.1.88

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 22911abb1b..d663ead1ac 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.87
+v0.1.88

From 8ae17f2e00a94d810d4c3e5c254fa363bef08980 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 15 Oct 2024 11:47:47 +0000
Subject: [PATCH 35/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.88

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index abb1225d01..f7041b9e04 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.99";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.87";
+      url = "github:runtimeverification/haskell-backend/v0.1.88";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index f6eaf34d5d..80a580beea 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit f6eaf34d5d72fb30249573a545a4444f975509ff
+Subproject commit 80a580beea98ffe7fead4c104f7563fb9bea5353

From b218864c374682ecec62f13c4be63d552d8f6267 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 15 Oct 2024 11:48:01 +0000
Subject: [PATCH 36/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 288536edb8..cb89996fc6 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1728949039,
-        "narHash": "sha256-kspwgGLi/ItVYKxK13MDwdl4I/eRRNtljypnP9vkBUM=",
+        "lastModified": 1728991518,
+        "narHash": "sha256-wNhKmkQ1aI5R0Gvqn9amN59fuquMRoMwi0FvE3YnH/M=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "f6eaf34d5d72fb30249573a545a4444f975509ff",
+        "rev": "80a580beea98ffe7fead4c104f7563fb9bea5353",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.87",
+        "ref": "v0.1.88",
         "repo": "haskell-backend",
         "type": "github"
       }

From 8a9af76662cf382bec2d2a8aae16fd1b30bad6b3 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 16 Oct 2024 12:13:38 +0000
Subject: [PATCH 37/39] deps/haskell-backend_release: Set Version v0.1.89

---
 deps/haskell-backend_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index d663ead1ac..2976b5a1a5 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.88
+v0.1.89

From f5324b3fb1a5c6774dd139e49c304bb5fcd5c1bf Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 16 Oct 2024 12:14:39 +0000
Subject: [PATCH 38/39] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.89

---
 flake.nix                                       | 2 +-
 haskell-backend/src/main/native/haskell-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index f7041b9e04..311a5fb2a9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.99";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.88";
+      url = "github:runtimeverification/haskell-backend/v0.1.89";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 80a580beea..4fb57a8842 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 80a580beea98ffe7fead4c104f7563fb9bea5353
+Subproject commit 4fb57a8842d04ba0ce27393f7073feb21539118b

From fbe07b02de89f47f4895d9311ecc3ab78548414c Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 16 Oct 2024 12:14:53 +0000
Subject: [PATCH 39/39] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index cb89996fc6..15b85a8241 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1728991518,
-        "narHash": "sha256-wNhKmkQ1aI5R0Gvqn9amN59fuquMRoMwi0FvE3YnH/M=",
+        "lastModified": 1729079440,
+        "narHash": "sha256-wQi5GIW51rx33FPFZE+8ug28hYhOFNmPwbwllGPOK+o=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "80a580beea98ffe7fead4c104f7563fb9bea5353",
+        "rev": "4fb57a8842d04ba0ce27393f7073feb21539118b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.88",
+        "ref": "v0.1.89",
         "repo": "haskell-backend",
         "type": "github"
       }