flake: Add rust-overlay as a separate input

My reasoning is as follows: we need an up-to-date rust-overlay in order to access recent nightlies. Currently we follow crane's rust-overlay, but recent versions of crane don't have a rust-overlay input anymore. So we'll need to have rust-overlay as input like this eventually anyway. Hence I did this without even updating crane because there was no need.
cryspen · May 28, 2024 · 01137ce · 01137ce
1 parent f562534
commit 01137ce
Show file tree

Hide file tree

Showing 2 changed files with 29 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -8,7 +8,11 @@
         flake-utils.follows = "flake-utils";
       };
     };
-    rust-overlay.follows = "crane/rust-overlay";
+    rust-overlay = {
+      url = "github:oxalica/rust-overlay";
+      inputs.flake-utils.follows = "flake-utils";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
     fstar = {
       url = "github:FStarLang/FStar/v2024.01.13";
       inputs = {