Use a more recent nixpkgs

Otherwise we're missing `mold`, which is required by libcrux.
Inria-Prosecco · Nov 18, 2024 · 3852382 · 3852382
1 parent f2a6073
commit 3852382
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,13 +1,14 @@
 {
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
-    nixpkgs.follows = "eurydice/nixpkgs";
+    nixpkgs.url = "nixpkgs/nixos-unstable";
     charon = {
       url = "github:aeneasverif/charon";
       inputs.nixpkgs.follows = "nixpkgs";
     };
     eurydice = {
       url = "github:aeneasverif/eurydice";
+      inputs.nixpkgs.follows = "nixpkgs";
       inputs.charon.follows = "charon";
     };
     fstar.follows = "eurydice/fstar";