Use charon's pinned rust toolchain

cryspen · Jan 10, 2025 · 0497fe5 · 0497fe5
1 parent d15707d
commit 0497fe5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -60,7 +60,8 @@
           FSTAR_REV = inputs.fstar.rev;
         };
 
-        craneLib = inputs.crane.mkLib pkgs;
+        rustToolchain = inputs.charon.packages.${system}.rustToolchain;
+        craneLib = (inputs.crane.mkLib pkgs).overrideToolchain rustToolchain;
 
         ml-kem = pkgs.callPackage
           ({ lib