From d69d4f5f5dcb375452c0ae230c83a7404b38cb08 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 26 Nov 2024 09:07:59 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 24 ++++++++++++------------
 flake.nix  |  2 +-
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/flake.lock b/flake.lock
index a11280e39..8062165d7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -275,16 +275,16 @@
         "z3": "z3_2"
       },
       "locked": {
-        "lastModified": 1730421015,
-        "narHash": "sha256-crZXr/IfwSoC6bmI9GXWDv8UK40L2mFX5ZrHLvlpe5c=",
+        "lastModified": 1731858864,
+        "narHash": "sha256-P5lwiVFy3qVKe08TYOLc+nBss3AsM+nBIspw5nP1frY=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "44778e5b349e85f0fd1c40c13691d744e2ddad11",
+        "rev": "820cd05c084ba7f297e74a960f98e99ea2b2fba4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.97",
+        "ref": "v0.1.99",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -390,16 +390,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1730428312,
-        "narHash": "sha256-fOpgNQDgmEKOZhEAXE2hGYqze0828NoXT4L0ksIMRcA=",
+        "lastModified": 1732196667,
+        "narHash": "sha256-Njulw9rAgRNnqc00yrkHmTb/di265MGqBewOHZoV4KQ=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "5c84d48f697b73ad779395c53b7edc934ed4e8f5",
+        "rev": "fc37d4b1b37bb806314dd845bddae0eb0f2088f7",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.170",
+        "ref": "v7.1.174",
         "repo": "k",
         "type": "github"
       }
@@ -435,16 +435,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1731587388,
-        "narHash": "sha256-bHTZt5zxkELy0EKOLL5agD1QMfBb5sFZWzvsSjGIfw0=",
+        "lastModified": 1732608040,
+        "narHash": "sha256-Vs6b+K9kISbQ3sXpRt6NBJ0IGdyCDJLadfztiix62eU=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "d1b56d653482444a32fa5725183bd699e9aca7bd",
+        "rev": "39eecdccafba666ef5e26c6c5dd3ff686210259a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.753",
+        "ref": "v1.0.754",
         "repo": "evm-semantics",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 224508728..1ecf1241c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.753";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.754";
     nixpkgs.follows = "kevm/nixpkgs";
     k-framework.follows = "kevm/k-framework";
     flake-utils.follows = "kevm/flake-utils";