From 589fdb609101eed6f8385f3ca9db7a0e388f5d39 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 6 Dec 2023 11:05:57 +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 429aa08b4db..5aebbfffdd6 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1701735161,
-        "narHash": "sha256-ez9JDQd5EEVmmGkWv4Yg4XmK6CeDYNOsqd3HPUQAiHg=",
+        "lastModified": 1701860388,
+        "narHash": "sha256-H6fq4gbHyc1JNlTaa0oDL8eqIDjTgt4U2zWTPcn3joM=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14",
+        "rev": "c90f7a26da03b9257af4e7c4a83112c31004335d",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14",
+        "rev": "c90f7a26da03b9257af4e7c4a83112c31004335d",
         "type": "github"
       }
     },