Merge remote-tracking branch 'origin/develop'

runtimeverification · Jun 20, 2024 · 9cea46a · 9cea46a
2 parents 6c41875 + 83a50ff
commit 9cea46a
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: