these 3 derivations will be built:
  /nix/store/8v1vnrj88ipkk1kqsymsik1lby7j8c69-lean-ctx-3.11.4-vendor.drv
  /nix/store/86zr6f9791l9yhnhccpp1gg6l2y5xydy-lean-ctx-3.11.4.drv
  /nix/store/fvy69vqp9980kadi211kjm3c5wgzy3mx-check-lean-ctx.drv