From 9c1d34f6518eb6da008172035dd2b9d99ecf8be9 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 12 Sep 2023 22:08:54 +0000
Subject: [PATCH] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 8ce0ee89d29..9f9c4cbcd85 100644
--- a/flake.lock
+++ b/flake.lock
@@ -47,17 +47,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1694532720,
-        "narHash": "sha256-+QLxU8gkjSinRmC1sQ4C12FwFdDwY+4hq17aYVRUag4=",
+        "lastModified": 1694556163,
+        "narHash": "sha256-AZ66CtFj6/UgKBjsK0PXJUlS8QgNnyr9nqyJevw4W2g=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "8aac6e3852e522867610a294f8e8b07867f120d6",
+        "rev": "4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "8aac6e3852e522867610a294f8e8b07867f120d6",
+        "rev": "4ddf92ea7857e43857e1aeef38bb4c3c3d4b898a",
         "type": "github"
       }
     },