this derivation will be built:
  /nix/store/9ny2w8vdysp34kv5r7xlgdr31hz6w7ag-check-lean-ctx.drv