diff --git a/pyk/flake.lock b/pyk/flake.lock
index 9dc8c707f7a..a3df8e1333f 100644
--- a/pyk/flake.lock
+++ b/pyk/flake.lock
@@ -41,17 +41,16 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1716457947,
-        "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=",
-        "owner": "nixos",
+        "lastModified": 1698675399,
+        "narHash": "sha256-nj+LNEeVXGP31vxoL3x7HW7+oEiyoLVDqwMg30yFBMA=",
+        "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb",
+        "rev": "7378978469efa3b2b2f97d645a2a0b0e2447da2b",
         "type": "github"
       },
       "original": {
-        "owner": "nixos",
+        "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb",
         "type": "github"
       }
     },
@@ -86,30 +85,8 @@
           "poetry2nix",
           "flake-utils"
         ],
-        "nixpkgs": [
-          "rv-utils",
-          "nixpkgs"
-        ],
-        "poetry2nix": "poetry2nix",
-        "rv-utils": "rv-utils"
-      }
-    },
-    "rv-utils": {
-      "inputs": {
-        "nixpkgs": "nixpkgs"
-      },
-      "locked": {
-        "lastModified": 1716459074,
-        "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=",
-        "owner": "runtimeverification",
-        "repo": "rv-nix-tools",
-        "rev": "a65058865cda201de504f5546271b8e997a0be9c",
-        "type": "github"
-      },
-      "original": {
-        "owner": "runtimeverification",
-        "repo": "rv-nix-tools",
-        "type": "github"
+        "nixpkgs": "nixpkgs",
+        "poetry2nix": "poetry2nix"
       }
     },
     "systems": {
diff --git a/pyk/flake.nix b/pyk/flake.nix
index 79774de3b0d..132eab4ab4d 100644
--- a/pyk/flake.nix
+++ b/pyk/flake.nix
@@ -2,8 +2,7 @@
   description = "Application packaged using poetry2nix";
 
   inputs = {
-    rv-utils.url = "github:runtimeverification/rv-nix-tools";
-    nixpkgs.follows = "rv-utils/nixpkgs";
+    nixpkgs.url = "github:NixOS/nixpkgs";
     poetry2nix = {
       url =
         "github:nix-community/poetry2nix/626111646fe236cb1ddc8191a48c75e072a82b7c";
@@ -12,7 +11,7 @@
     flake-utils.follows = "poetry2nix/flake-utils";
   };
 
-  outputs = { self, nixpkgs, flake-utils, rv-utils, poetry2nix }:
+  outputs = { self, nixpkgs, flake-utils, poetry2nix }:
     {
       # Nixpkgs overlay providing the application
       overlay = final: prev: