these 5 derivations will be built:
  /nix/store/2bwxn81w452gwfi31l354pqckijz84fm-source.drv
  /nix/store/agzm9fag9fr0lma4fqxbz5lpv7jkh1s3-lean-ctx-3.10.5-vendor-staging.drv
  /nix/store/dxc54h2cxvnmbryvwjx7g6b8xwb8a7ib-lean-ctx-3.10.5-vendor.drv
  /nix/store/ymqf5xgag67lc787bzss37zwypy95581-lean-ctx-3.10.5.drv
  /nix/store/dqvpm9g9psrzsi78nyilxy5k7ffdxlw9-check-lean-ctx.drv