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
copying path '/nix/store/4144avhjvscj5rjd64gm1b5c6992p67m-leanshared' from 'https://cache.garnix.io'...
copying path '/nix/store/401bnygis11g0i25fc73rmn59dqgnpmm-lean' from 'https://cache.garnix.io'...
building '/nix/store/54m95dfnkq920402w0h5l33c9byar8lc-LSpec-deps.json.drv' on 'ssh-ng://nix-ssh@garnix8'...
copying 0 paths...
copying 1 paths...
copying path '/nix/store/l44cqdnf4fjk34hbjlg53i09lvkn1sv0-LSpec-deps.json' from 'ssh-ng://'...
these 19 paths will be fetched (2.75 MiB download, 16.22 MiB unpacked):
  /nix/store/qx8lfrc114lfssdcx6gif231jw4yzfh3-Init.Data.List.MinMax
  /nix/store/yrnppd8h8wldfs788ihyhacn7lr73lyh-Init.Data.Nat.Gcd
  /nix/store/q9kzh464zml5fmjbk86hq85kw0lk2gdb-Init.Data.ToString
  /nix/store/4w1s91qxvsn54vahzaxpb51kwdrzq9l5-Init.Grind.Attr
  /nix/store/y7crc4fj3c5y110j242fggw4dy1w5k15-Init.Prelude
  /nix/store/cpi0xkpss9wgffmsvb6qvj78hf3bjrg9-LSpec
  /nix/store/z83rd5fcs3knqfczpl2ip80c7944pf9b-LSpec-depRoot
  /nix/store/dr46bxvsgd3xspp67ldf75q3jaqa3y8h-LSpec.Instances
  /nix/store/qwlvi2mf159i8c35cf94nrwmmyj2xjxq-LSpec.LSpec
  /nix/store/35a9q2z9vl1k9dhdcl7fhsd6d75ymxlg-LSpec.SlimCheck
  /nix/store/qk997brygjz3zpwa9ln9li5cc2zjnfr2-LSpec.SlimCheck.Checkable
  /nix/store/i1kwsip22njbqnm4hc2aydx8ilh9vxrb-LSpec.SlimCheck.Control.DefaultRange
  /nix/store/8j1ahyaqqp1ybazgzvcgq8z7pf6k60n0-LSpec.SlimCheck.Control.Random
  /nix/store/8k894rxw7cdf0wrk63mddvnhcvhzgm13-LSpec.SlimCheck.Gen
  /nix/store/vdmp3hn97r0kwn4djk8yl1g97a73i75x-LSpec.SlimCheck.Sampleable
  /nix/store/nz3k1my9zyb5jmz2y9jzc5inx41907a7-Lean.Elab.PreDefinition.WF.GuessLex
  /nix/store/rmx166d7yinj8r5pjpyj5jyma0wskv0d-Lean.Elab.Tactic.BVDecide.Frontend.BVDecide.Reify
  /nix/store/cdjaq205ws2bn3vq3qd6iqs387r346w8-Lean.Meta.Tactic.Constructor
  /nix/store/pifhppdnvhagy4l5s6zavx6dhpm70n7f-Lean.Meta.Tactic.Grind.Arith.Cutsat.SearchM