chore: nix flake update

This comes with ccache 4.6.1, which seems to fix the specific miscompilation I managed to reproduce with 4.6.0
leanprover · Jul 8, 2022 · 6d1b209 · 6d1b209
1 parent 5455c16
commit 6d1b209
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 17 deletions.
diff --git a/doc/flake.nix b/doc/flake.nix
@@ -27,7 +27,7 @@
         src = inputs.mdBook;
         cargoDeps = drv.cargoDeps.overrideAttrs (_: {
           inherit src;
-          outputHash = "sha256-5cAV8tOU3R1cPubseetURDQOzKyoo4485wD5IgeJUhQ=";
+          outputHash = "sha256-mhTWHs/bsmm3FH59SkUxBTl5lEH2Rlz/aF9CuBTu1TE=";
         });
         doCheck = false;
       });

diff --git a/flake.lock b/flake.lock