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