From 45157d9ebcd789137bacd15055f62417621c6ed4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Aug 2023 16:27:10 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 6415f10d0f..d7b05b438f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -987,11 +987,11 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1692275411,
-        "narHash": "sha256-gt37QIbCkbW/GWf7CHkqoOIFUvqpkRLK/Tk4WcS7Jhw=",
+        "lastModified": 1692287543,
+        "narHash": "sha256-FWIlzA87Ws+NzLz+i/lECJDbwFzRhCV7T3x8Ddxl1pk=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "0338d9b4cce549872efd30ac0ae13bdb81944dfc",
+        "rev": "dc65fd7bc4f473b35d83fb309321ff601252a3b5",
         "type": "github"
       },
       "original": {