From d280a154082c93b27097b411b3347149dd8f13bb Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Sun, 22 Oct 2023 22:31:41 +0000
Subject: [PATCH] flake.nix, flake.lock: update

---
 flake.lock | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/flake.lock b/flake.lock
index ca991bfee6c..4e74377a840 100644
--- a/flake.lock
+++ b/flake.lock
@@ -14,17 +14,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1697708260,
-        "narHash": "sha256-90yzwwRfFGXpqYHLU++r1hW+PxH09+vF11BN8JkUe0c=",
+        "lastModified": 1698013447,
+        "narHash": "sha256-H3Um2kgQLfEkvbIGJBQAqLojcikVhc0SoMW/7HPdgH8=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "26b5d2df37c6fcc210d80ff57d1c3572a41f90b5",
+        "rev": "66439eba81e7311698cb3647b22bb840529ac524",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "26b5d2df37c6fcc210d80ff57d1c3572a41f90b5",
+        "rev": "66439eba81e7311698cb3647b22bb840529ac524",
         "type": "github"
       }
     },
@@ -263,11 +263,11 @@
     },
     "nixpkgs_5": {
       "locked": {
-        "lastModified": 1697655685,
-        "narHash": "sha256-79Kuv+QdgsVc+rkibuAgWHnh8IXrLBTOKg5nM0Qvux0=",
+        "lastModified": 1697851979,
+        "narHash": "sha256-lJ8k4qkkwdvi+t/Xc6Fn74kUuobpu9ynPGxNZR6OwoA=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "80c1aab725151632ddc2a20caeb914e76dd0673c",
+        "rev": "5550a85a087c04ddcace7f892b0bdc9d8bb080c8",
         "type": "github"
       },
       "original": {