Revert "Align Pyk's nixpkgs version to the shared K version" (#4458)

Reverts #4439
runtimeverification · Jun 20, 2024 · 83a50ff · 83a50ff
1 parent 27ae33c
commit 83a50ff
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 33 deletions.
diff --git a/pyk/flake.lock b/pyk/flake.lock
diff --git 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: