warning: ignoring untrusted flake configuration setting 'extra-substituters'.
Pass '--accept-flake-config' to trust it
warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
Pass '--accept-flake-config' to trust it
these 12 paths will be fetched (3.25 MiB download, 22.67 MiB unpacked):
  /nix/store/dyw608i3z1z1i9n1bgpdqm1cswxs2hpx-Lake-lib
  /nix/store/50nhfcfgs58b8klbj2b8sav1v3669waz-Lake.Build.Info-cc
  /nix/store/aclvs8xph92s9bz6xzvy0j5qdph3x6zw-Lean-depRoot
  /nix/store/378ljz9a0mbsd8968dcxma24rwpijjmf-Lean-lib
  /nix/store/pdvjc0s28d8y5msb1bfyqqc8jl125nq2-Lean.Compiler.LCNF.Bind
  /nix/store/28hyxrb6w3dbz4r9rimva07m474mly2g-Lean.Compiler.LCNF.DependsOn
  /nix/store/rl819xlivzr5nl2zpqnp2g1c85p4pljw-Lean.Compiler.LCNF.Simp
  /nix/store/767rf0a1gfhl9yy1fw0ql5wrnk2ip3ph-Lean.Elab.Macro
  /nix/store/3j0np085vx529w5rfxc1w95a2dv140n6-Lean.Elab.PreDefinition.TerminationHint-cc
  /nix/store/97y1i25zwmknz2vv5xkncljdx15bw7dk-Lean.Elab.Tactic.Omega.MinNatAbs-cc
  /nix/store/krz8cm8qp27ggf443zqk6k5sybgkq9g7-lean-stage1
  /nix/store/zj607ckdg5xz5izcpgv2l7mp6bz964wf-nix-shell