From 90a9d396f269994b6549f792ba0341cdc22790b2 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 12:38:07 +0000
Subject: [PATCH 01/27] deps/haskell-backend_release: Set Version v0.1.68

---
 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 0168a41fbb..6bf0854bf1 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.67
+v0.1.68

From 4cfa5fdc0b72cd8b6d832f59858d23b4eb95494d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 12:39:02 +0000
Subject: [PATCH 02/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.68

---
 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 426f98452c..6b0c0c6c00 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.67";
+      url = "github:runtimeverification/haskell-backend/v0.1.68";
       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 8d4aafc4bc..6ce0ea71b0 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 8d4aafc4bc2cb6ab9d992030c6482b712309608f
+Subproject commit 6ce0ea71b0fa64f50430981233550fcc2c9632f0

From 36071ec55c9d44cfd985abe8ef8831d690357b22 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 12:39:16 +0000
Subject: [PATCH 03/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 2c385e4599..73b2ee0f23 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723630441,
-        "narHash": "sha256-BbJwGKi2kwbSIegUZTuZvzOoA9g/NRn7mwsgOhKpFvg=",
+        "lastModified": 1723724162,
+        "narHash": "sha256-SKX+yGSWcWxeiMvjulhjYZUyZLYIc409f0rnNXhTCOg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "8d4aafc4bc2cb6ab9d992030c6482b712309608f",
+        "rev": "6ce0ea71b0fa64f50430981233550fcc2c9632f0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.67",
+        "ref": "v0.1.68",
         "repo": "haskell-backend",
         "type": "github"
       }

From eb93e79c0c6fa7a8e8a4877e439c2929d2699845 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 13:37:21 +0000
Subject: [PATCH 04/27] deps/haskell-backend_release: Set Version v0.1.69

---
 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 6bf0854bf1..b14ab7e22d 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.68
+v0.1.69

From abfe541d2ea0378577e9da2b623d6b13235b2ca6 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 13:38:17 +0000
Subject: [PATCH 05/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.69

---
 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 6b0c0c6c00..8a139c913c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.68";
+      url = "github:runtimeverification/haskell-backend/v0.1.69";
       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 6ce0ea71b0..fe44eedb86 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 6ce0ea71b0fa64f50430981233550fcc2c9632f0
+Subproject commit fe44eedb86f9c1417f49087ce56a0af145cead0a

From c22c905ae260323a823509b1462b494eec489c8d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 13:38:31 +0000
Subject: [PATCH 06/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 73b2ee0f23..2bf7f7e856 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723724162,
-        "narHash": "sha256-SKX+yGSWcWxeiMvjulhjYZUyZLYIc409f0rnNXhTCOg=",
+        "lastModified": 1723727778,
+        "narHash": "sha256-RQZUrj/VdMZROAmgqiN9GsolCpQXFeWROp+Fro7ZHLc=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "6ce0ea71b0fa64f50430981233550fcc2c9632f0",
+        "rev": "fe44eedb86f9c1417f49087ce56a0af145cead0a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.68",
+        "ref": "v0.1.69",
         "repo": "haskell-backend",
         "type": "github"
       }

From 14ea2351e7af7506560c05d828e8c0fc7f1554ce Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 15:34:45 +0000
Subject: [PATCH 07/27] deps/haskell-backend_release: Set Version v0.1.70

---
 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 b14ab7e22d..346f785143 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.69
+v0.1.70

From 547c5a92bf1e856af3989e79c14503e4e4961047 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 15:35:39 +0000
Subject: [PATCH 08/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.70

---
 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 8a139c913c..46c0dda86c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.69";
+      url = "github:runtimeverification/haskell-backend/v0.1.70";
       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 fe44eedb86..d83abc4da0 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit fe44eedb86f9c1417f49087ce56a0af145cead0a
+Subproject commit d83abc4da06fa3394573a26a2a37bb768c930b33

From 43735966e9bda58eff7871fe125664205448ddc8 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 15 Aug 2024 15:35:52 +0000
Subject: [PATCH 09/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 2bf7f7e856..4449b5692b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723727778,
-        "narHash": "sha256-RQZUrj/VdMZROAmgqiN9GsolCpQXFeWROp+Fro7ZHLc=",
+        "lastModified": 1723734854,
+        "narHash": "sha256-LpcPTLhohDcHj1XPsEa3A4UMAe9rkAAeEp33pGtvhaE=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "fe44eedb86f9c1417f49087ce56a0af145cead0a",
+        "rev": "d83abc4da06fa3394573a26a2a37bb768c930b33",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.69",
+        "ref": "v0.1.70",
         "repo": "haskell-backend",
         "type": "github"
       }

From b7887217c439e4be091915753a650db081e0d135 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 08:39:23 +0000
Subject: [PATCH 10/27] deps/haskell-backend_release: Set Version v0.1.71

---
 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 346f785143..aa60a91b46 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.70
+v0.1.71

From b493a4cfb7c66c80bbb4fecd2a944baa96402fb7 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 08:40:17 +0000
Subject: [PATCH 11/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.71

---
 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 46c0dda86c..7f089ebae6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.70";
+      url = "github:runtimeverification/haskell-backend/v0.1.71";
       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 d83abc4da0..f4e4ccab44 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit d83abc4da06fa3394573a26a2a37bb768c930b33
+Subproject commit f4e4ccab44b4536759468c79af8454c964d17b84

From 0d39651ed9e0295e3e8185aac6150df860c47959 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 08:40:30 +0000
Subject: [PATCH 12/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 4449b5692b..5ed529031b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723734854,
-        "narHash": "sha256-LpcPTLhohDcHj1XPsEa3A4UMAe9rkAAeEp33pGtvhaE=",
+        "lastModified": 1724055438,
+        "narHash": "sha256-7e0O/GpnVZ4omtbtrZqy2U+lqUyJJp2OeWdIhcg72NY=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "d83abc4da06fa3394573a26a2a37bb768c930b33",
+        "rev": "f4e4ccab44b4536759468c79af8454c964d17b84",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.70",
+        "ref": "v0.1.71",
         "repo": "haskell-backend",
         "type": "github"
       }

From 988c3a4656cb3c0b49a53eeb36f708a287c95f9d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 14:35:36 +0000
Subject: [PATCH 13/27] deps/haskell-backend_release: Set Version v0.1.72

---
 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 aa60a91b46..b89081d058 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.71
+v0.1.72

From 05d1911a22b8f63948d1bc0fc6e44d83093299ce Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 14:36:36 +0000
Subject: [PATCH 14/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.72

---
 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 7f089ebae6..43c089cd0a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.71";
+      url = "github:runtimeverification/haskell-backend/v0.1.72";
       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 f4e4ccab44..13007318e8 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit f4e4ccab44b4536759468c79af8454c964d17b84
+Subproject commit 13007318e88857089dc99e6a46f4cae1b7df4e30

From 7b64a4be9fa9d727a9c77d52912ddbbef4ce660e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 14:36:51 +0000
Subject: [PATCH 15/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 5ed529031b..dc23cc7644 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724055438,
-        "narHash": "sha256-7e0O/GpnVZ4omtbtrZqy2U+lqUyJJp2OeWdIhcg72NY=",
+        "lastModified": 1724076914,
+        "narHash": "sha256-4z3bg3WDUFrlxX6IwHjidcoORTyu/yigS8cLGoMe58Q=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "f4e4ccab44b4536759468c79af8454c964d17b84",
+        "rev": "13007318e88857089dc99e6a46f4cae1b7df4e30",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.71",
+        "ref": "v0.1.72",
         "repo": "haskell-backend",
         "type": "github"
       }

From d2deefab980c87d7d7b4dc2f2dce966e9affc3ba Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 16:14:59 +0000
Subject: [PATCH 16/27] deps/haskell-backend_release: Set Version v0.1.73

---
 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 b89081d058..27556b3292 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.72
+v0.1.73

From 1cb8d535ba3b351afaadbb0616f0d0807a70f79d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 16:15:52 +0000
Subject: [PATCH 17/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.73

---
 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 43c089cd0a..7f508c9494 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.72";
+      url = "github:runtimeverification/haskell-backend/v0.1.73";
       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 13007318e8..129f9187e3 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 13007318e88857089dc99e6a46f4cae1b7df4e30
+Subproject commit 129f9187e3457ed090f3a1661c04395b4d96eefd

From ab0076cd96269c4056f13772cb6f268cc4fde6c8 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 19 Aug 2024 16:16:05 +0000
Subject: [PATCH 18/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index dc23cc7644..0556f5d49f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724076914,
-        "narHash": "sha256-4z3bg3WDUFrlxX6IwHjidcoORTyu/yigS8cLGoMe58Q=",
+        "lastModified": 1724082831,
+        "narHash": "sha256-+OROK31nIS3RLEDxj8VNoRK4eC9n3vza3CfnEQ1cEgA=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "13007318e88857089dc99e6a46f4cae1b7df4e30",
+        "rev": "129f9187e3457ed090f3a1661c04395b4d96eefd",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.72",
+        "ref": "v0.1.73",
         "repo": "haskell-backend",
         "type": "github"
       }

From cd5cbf7d5950901db5f8256917437ab27fb4d7f8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 08:59:16 +0000
Subject: [PATCH 19/27] deps/haskell-backend_release: Set Version v0.1.74

---
 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 27556b3292..97697d6139 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.73
+v0.1.74

From a8d1fe2318daecc07060febd21cbd6b3355a1977 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 09:00:14 +0000
Subject: [PATCH 20/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.74

---
 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 7f508c9494..cdc23b40c9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.73";
+      url = "github:runtimeverification/haskell-backend/v0.1.74";
       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 129f9187e3..95c8534330 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 129f9187e3457ed090f3a1661c04395b4d96eefd
+Subproject commit 95c8534330d682aa80fff492665e5e6b5a9a06a6

From 47c18985e0f08dd22a8c2b83e754b21a0652a7dc Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 09:00:28 +0000
Subject: [PATCH 21/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 0556f5d49f..a65011a3f2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724082831,
-        "narHash": "sha256-+OROK31nIS3RLEDxj8VNoRK4eC9n3vza3CfnEQ1cEgA=",
+        "lastModified": 1724143162,
+        "narHash": "sha256-6r0VG0XiGg2/uS5xh0NobGmjUfBcFE7sKGSuD3xeiKU=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "129f9187e3457ed090f3a1661c04395b4d96eefd",
+        "rev": "95c8534330d682aa80fff492665e5e6b5a9a06a6",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.73",
+        "ref": "v0.1.74",
         "repo": "haskell-backend",
         "type": "github"
       }

From 13e6372b673a5901aa7340c38685faa671744eda Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 19:55:59 +0000
Subject: [PATCH 22/27] deps/haskell-backend_release: Set Version v0.1.75

---
 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 97697d6139..9901abf608 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.74
+v0.1.75

From 135e8afd1c2d61344a7f426643f0e403c83e7ae2 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 19:56:55 +0000
Subject: [PATCH 23/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.75

---
 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 33ac01be62..741df559bd 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.74";
+      url = "github:runtimeverification/haskell-backend/v0.1.75";
       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 95c8534330..db0cfcb47a 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 95c8534330d682aa80fff492665e5e6b5a9a06a6
+Subproject commit db0cfcb47ab5edfed8b88407311c326a371ad8ee

From b145979118e6139c58e2785dcc973f68aaa64ebf Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 19:57:09 +0000
Subject: [PATCH 24/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 077c27c2e8..4ed51da34e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724143162,
-        "narHash": "sha256-6r0VG0XiGg2/uS5xh0NobGmjUfBcFE7sKGSuD3xeiKU=",
+        "lastModified": 1724182464,
+        "narHash": "sha256-jaccyeZN30S4Rw5JUCBnVABv6nRbTcjJQIIpyt2Hpdc=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "95c8534330d682aa80fff492665e5e6b5a9a06a6",
+        "rev": "db0cfcb47ab5edfed8b88407311c326a371ad8ee",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.74",
+        "ref": "v0.1.75",
         "repo": "haskell-backend",
         "type": "github"
       }

From 6a7b4098b35dbea1ac8b8250418023fb71a14dae Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 21 Aug 2024 07:55:36 +0000
Subject: [PATCH 25/27] deps/haskell-backend_release: Set Version v0.1.76

---
 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 9901abf608..f72ad9b0b5 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.75
+v0.1.76

From 4e75f59711e6ae2b579ab03672c5a9b1054a2ecd Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 21 Aug 2024 07:56:37 +0000
Subject: [PATCH 26/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.76

---
 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 741df559bd..d1493b4b0c 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.75";
+      url = "github:runtimeverification/haskell-backend/v0.1.76";
       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 db0cfcb47a..ae2da4aa2a 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit db0cfcb47ab5edfed8b88407311c326a371ad8ee
+Subproject commit ae2da4aa2abc7a1cf64bc97119cc0a60ee4f8615

From b9368063f4e38b36e79a3544c7e27be21fd91c2d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 21 Aug 2024 07:56:51 +0000
Subject: [PATCH 27/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 4ed51da34e..89b4e8b100 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1724182464,
-        "narHash": "sha256-jaccyeZN30S4Rw5JUCBnVABv6nRbTcjJQIIpyt2Hpdc=",
+        "lastModified": 1724225719,
+        "narHash": "sha256-gR5GDTXdHksn773+pKqvdGaXvBMtVLujFURrEQClfJw=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "db0cfcb47ab5edfed8b88407311c326a371ad8ee",
+        "rev": "ae2da4aa2abc7a1cf64bc97119cc0a60ee4f8615",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.75",
+        "ref": "v0.1.76",
         "repo": "haskell-backend",
         "type": "github"
       }