these 3 derivations will be built:
  /nix/store/7xwy2x1s1x5r5c2bb4qn6ap48a8951qy-lean-ctx-3.11.0-vendor.drv
  /nix/store/x5vsivhkm82lkin262p50nv63qg0kh2l-lean-ctx-3.11.0.drv
  /nix/store/krk8yk1axx2qssczyqdl4ihcp5ka201v-check-lean-ctx.drv