nix: Fix top-level

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2023 · d40c4ef · d40c4ef
1 parent 48c5c86
commit d40c4ef
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix
@@ -35,7 +35,6 @@ in {
   prerequisites = aggregate "prerequisites" [
     pkgs.host.riscv64.none.gccMultiStdenvGeneric
     pkgs.build.this.qemuForSeL4
-    pkgs.build.this.cargoManifestGenrationUtils.rustfmtWithTOMLSupport
     pkgs.build.this.capdl-tool
     pkgs.build.this.vendoredTopLevelLockfile.vendoredSourcesDirectory