Revert "Revert "Align Pyk's nixpkgs version to the shared K version"" (…

…#4467) Reverts #4458 Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jun 21, 2024 · b4c9228 · b4c9228
1 parent df88946
commit b4c9228
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 9 deletions.
diff --git a/pyk/flake.lock b/pyk/flake.lock
diff --git a/pyk/flake.nix b/pyk/flake.nix
@@ -2,7 +2,8 @@
   description = "Application packaged using poetry2nix";
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs";
+    rv-utils.url = "github:runtimeverification/rv-nix-tools";
+    nixpkgs.follows = "rv-utils/nixpkgs";
     poetry2nix = {
       url =
         "github:nix-community/poetry2nix/626111646fe236cb1ddc8191a48c75e072a82b7c";
@@ -11,7 +12,7 @@
     flake-utils.follows = "poetry2nix/flake-utils";
   };
 
-  outputs = { self, nixpkgs, flake-utils, poetry2nix }:
+  outputs = { self, nixpkgs, flake-utils, rv-utils, poetry2nix }:
     {
       # Nixpkgs overlay providing the application
       overlay = final: prev: