these 3 derivations will be built:
  /nix/store/4rcjw40mdabkgqn7jw7gyqw5r55l1b2h-lean-ctx-3.12.4-vendor.drv
  /nix/store/86b6q2fnxw2588h5rbjbr2r0xf1wy63h-lean-ctx-3.12.4.drv
  /nix/store/k86669m1ln537b2cfn7nna32hcrc06xy-check-lean-ctx.drv