these 5 derivations will be built:
  /nix/store/2rhnlyh54idhgzc7l9m7hcf3iicxa6b2-source.drv
  /nix/store/wxxidxhp5svqzap8fgj3x80rz04irggq-lean-ctx-3.12.0-vendor-staging.drv
  /nix/store/z761dkgcldhxki0lippghg7ml8ffj3gf-lean-ctx-3.12.0-vendor.drv
  /nix/store/32qf643dhyg7xq0dscr0g7qx0fff4idq-lean-ctx-3.12.0.drv
  /nix/store/56k78j0lhrcbybn8y4w7v016yknrs2yz-check-lean-ctx.drv