these 3 derivations will be built:
  /nix/store/fc4hb8m93081gl989z1rhm6dmwd1l1x3-lean-ctx-3.11.4-vendor.drv
  /nix/store/77pfdciyvxanmprpqf7cl0g6vf7inh9c-lean-ctx-3.11.4.drv
  /nix/store/xx37vspkf5hdz7vvaqjsb2y6yb6j2cxk-check-lean-ctx.drv