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] 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"
       }