From fb62c53c6991edf886d1b04f9c6e0da92d46e07e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 10 Oct 2023 15:59:52 +0000
Subject: [PATCH] flake.nix, flake.lock: update

---
 flake.lock | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/flake.lock b/flake.lock
index 422844d61fd..f92a6bc0dca 100644
--- a/flake.lock
+++ b/flake.lock
@@ -47,17 +47,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1696847202,
-        "narHash": "sha256-Agg1dtNnt936bBOvnwHKgDKINW1G/9OAVuUjWr+WjH0=",
+        "lastModified": 1696953328,
+        "narHash": "sha256-8lhxyMGvmZjnTLKfe8oXnF3T4fKqqbaoiUDeXyMIoes=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ec1da250a8da41dc6b9aeb7786cd4093d3584225",
+        "rev": "303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "ec1da250a8da41dc6b9aeb7786cd4093d3584225",
+        "rev": "303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba",
         "type": "github"
       }
     },
@@ -439,17 +439,17 @@
         "z3-src": "z3-src"
       },
       "locked": {
-        "lastModified": 1696504623,
-        "narHash": "sha256-+/kBMs0Fcqrh9MTjeONST/kxxFVYU//EQl2fQCCVdeI=",
+        "lastModified": 1696881510,
+        "narHash": "sha256-NBYDOHpFy0/EGQtg1VeJWn7c8ciAZkhoflf0ZOTsVQs=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "c2b8559a11c4d22c6ddc02ac7620b7a5ece65931",
+        "rev": "cdc83446c302961cd6abd2bca8c3e73dde8f6eab",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "c2b8559a11c4d22c6ddc02ac7620b7a5ece65931",
+        "rev": "cdc83446c302961cd6abd2bca8c3e73dde8f6eab",
         "type": "github"
       }
     },
@@ -465,17 +465,17 @@
         "z3-src": "z3-src_2"
       },
       "locked": {
-        "lastModified": 1696504623,
-        "narHash": "sha256-+/kBMs0Fcqrh9MTjeONST/kxxFVYU//EQl2fQCCVdeI=",
+        "lastModified": 1696881510,
+        "narHash": "sha256-NBYDOHpFy0/EGQtg1VeJWn7c8ciAZkhoflf0ZOTsVQs=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "c2b8559a11c4d22c6ddc02ac7620b7a5ece65931",
+        "rev": "cdc83446c302961cd6abd2bca8c3e73dde8f6eab",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "c2b8559a11c4d22c6ddc02ac7620b7a5ece65931",
+        "rev": "cdc83446c302961cd6abd2bca8c3e73dde8f6eab",
         "type": "github"
       }
     },