these 5 derivations will be built:
  /nix/store/gwy327jpcsidaff77xjj5615san09363-source.drv
  /nix/store/5sci6rbf3wpvmjg8ixqw8k7hj0lmnzmh-lean-ctx-3.10.4-vendor-staging.drv
  /nix/store/kll021fndba3ywg9d5fj4f85ja72gyv9-lean-ctx-3.10.4-vendor.drv
  /nix/store/h2k9n7jx06xnjlpkc19g264jsk5d0469-lean-ctx-3.10.4.drv
  /nix/store/57wpxfigqiwsqil9csvr2swgg87imzdh-check-lean-ctx.drv