From 3482a733aaa492aca546331f4a026f3d621ccc53 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 12 Jan 2024 06:03:59 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 30 +++++++++++++++---------------
 flake.nix  |  2 +-
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/flake.lock b/flake.lock
index b26d068d3..7fe1e9a29 100644
--- a/flake.lock
+++ b/flake.lock
@@ -284,16 +284,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1704904092,
-        "narHash": "sha256-MFhKs/RWp6QQZPl3W/U2M5J4kN7A6W8TpVJAmye4Ckw=",
+        "lastModified": 1704989061,
+        "narHash": "sha256-9IJn0f0m5AFHEXAaapvp5RhtBqpr5nnj3CAtBy+kju4=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "ecd66664993b7d05931a6ec23bf25ba69e82109a",
+        "rev": "18ce58892d77b05f8aa51f42ae563ff068620ad3",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.1.76",
+        "ref": "v6.1.77",
         "repo": "k",
         "type": "github"
       }
@@ -337,16 +337,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1704965061,
-        "narHash": "sha256-gVdaASD62RRLnJECFxJAO3t/xiH6LeYi6ItWhPaeImk=",
+        "lastModified": 1705038100,
+        "narHash": "sha256-TbbswuALVInTe6pfpVpoZ2GzGNJp4yfNzr/69IV/CWk=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "dca942634ed69288b58bab93831e4cb6dace75bd",
+        "rev": "5a026c707f9a6a589b6a25812bd3081510d7021c",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.413",
+        "ref": "v1.0.415",
         "repo": "evm-semantics",
         "type": "github"
       }
@@ -388,11 +388,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1703183218,
-        "narHash": "sha256-29Zvh5E7QF6rVejQpdris8Q4p8PfrGsMRi9HKVqsYbs=",
+        "lastModified": 1704904099,
+        "narHash": "sha256-RpRhxWaW01qLJ51XCKiVmS6T5d9CI+uXMcxFxADy1wY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "83a5b3015ac8816076573d3c8ac266b448b78130",
+        "rev": "276afab5392f7a3ed000adaacfd9eea9f9825672",
         "type": "github"
       },
       "original": {
@@ -543,16 +543,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1704914632,
-        "narHash": "sha256-bXUaf1Jrlxcu0uZ62hr9wYMFy0dWy2PbjgauWmMYy6U=",
+        "lastModified": 1704997708,
+        "narHash": "sha256-gWlflT/HiLRk88Ht9+iJ/DgSv0Br3bDXv40my/NqAkQ=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "30b034cd5732c5ce2054fcbef508bc348d8bd293",
+        "rev": "e47333fd09cac67a69c074a302e890466e88b964",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.571",
+        "ref": "v0.1.572",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 58ac278dc..618605556 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.413";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.415";
     nixpkgs.follows = "kevm/nixpkgs";
     nixpkgs-pyk.follows = "kevm/nixpkgs-pyk";
     k-framework.follows = "kevm/k-framework";