From 4fd2eb1c0c460ead80c70139951c38303bff737e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 20 Dec 2023 11:36:03 +0000
Subject: [PATCH] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index fafc99d4b84..c6ddf3cb1bc 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1702991194,
-        "narHash": "sha256-CHcm7QAXlfeQkel06ozdKDefiwHpja28sq5KZE+mjkE=",
+        "lastModified": 1703071874,
+        "narHash": "sha256-dCqswilWcRslGiBlkK/9a5B4C7XlDf3vwt7TvdaSeOs=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "4ab3fc365696125d4d87c86bed9c766d90b2e7ae",
+        "rev": "65c2d7c7c35f100a67f218b31e54d3956009349f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "4ab3fc365696125d4d87c86bed9c766d90b2e7ae",
+        "rev": "65c2d7c7c35f100a67f218b31e54d3956009349f",
         "type": "github"
       }
     },
@@ -71,17 +71,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1701950567,
-        "narHash": "sha256-e4A4dTW8GYQ0KPHcAb1PVaLXqGpKUJuQNJLlM7HO74Y=",
+        "lastModified": 1703063258,
+        "narHash": "sha256-wL5kFsbs6RS+bsrf+SDq85DDKce/sZZ7VQDtJZA5JS0=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "a5847301404583e16d55cd4d051b8e605d704fbc",
+        "rev": "ca05f14b7957fec9f2a5ab3444cae01c5a76f12f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "a5847301404583e16d55cd4d051b8e605d704fbc",
+        "rev": "ca05f14b7957fec9f2a5ab3444cae01c5a76f12f",
         "type": "github"
       }
     },