diff --git a/flake.lock b/flake.lock
index 36fe1adcf9..d970586497 100644
--- a/flake.lock
+++ b/flake.lock
@@ -67,17 +67,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1698380696,
-        "narHash": "sha256-+2ll6O1nn53Fgm09R+Bz4otMs5jn3Xeo2nx0tfhmnH0=",
+        "lastModified": 1698748998,
+        "narHash": "sha256-rtn0XdiVUJe+ilvu+KowIf5nOfzxC/Uqs44g9gy4kgI=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8",
+        "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8",
+        "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8",
         "type": "github"
       }
     },
@@ -251,17 +251,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1697702407,
-        "narHash": "sha256-r9c5qpgoejKJePbxqq01QkHx/wZNypY/fUSugsapF8w=",
+        "lastModified": 1698659846,
+        "narHash": "sha256-zpISCikITipLGr8D//8QpgW9YWKKrJ764QSu3pM6LSU=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb",
+        "rev": "811e94fbcaef8550a6a709a9ce793f7166457911",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb",
+        "rev": "811e94fbcaef8550a6a709a9ce793f7166457911",
         "type": "github"
       }
     },
@@ -298,16 +298,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1698399750,
-        "narHash": "sha256-5l1tHDW848AQAniqPsITLn51ywV+s+5YILjR0CYFmQ8=",
+        "lastModified": 1698765912,
+        "narHash": "sha256-KDgLSzpMx0K4gZSwx2D+BS1+ikQ+2Pn5rIXGY6SoYZg=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "5f141fe4cd5c945015c4ac45946d37c7afedb3df",
+        "rev": "edfbe50954a8c672afe9abc9d35e0426ed36ba64",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.0.174",
+        "ref": "v6.0.186",
         "repo": "k",
         "type": "github"
       }
@@ -495,16 +495,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1698684955,
-        "narHash": "sha256-IO1mqA/Z4Mv9FF91qw4TfSWnBA0mse5snx3owKunnQc=",
+        "lastModified": 1698776857,
+        "narHash": "sha256-ZrURNDAdt+aPioal+12kJv8bXgoZKGkj58sVCCj1+bI=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "23a97935da94cded4392bc028cdf16bd6f7edd5b",
+        "rev": "12c67b1f9458595ead1d3afb32d35b6cef84fdb0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.486",
+        "ref": "v0.1.488",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 7bddead332..6e68e0044d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,11 +2,11 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v6.0.174";
+    k-framework.url = "github:runtimeverification/k/v6.0.186";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/pyk/v0.1.486";
+    pyk.url = "github:runtimeverification/pyk/v0.1.488";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {