these 5 derivations will be built:
  /nix/store/f892gi00avaqdr3m96wlgzdrpjx6yp9w-source.drv
  /nix/store/5b5gckk8q6ndh4b5sgpbbs8pwkgs966p-lean-ctx-3.10.4-vendor-staging.drv
  /nix/store/b4hyz7i9gpn6gswjj4mwqxmcp16dph74-lean-ctx-3.10.4-vendor.drv
  /nix/store/jnd4cv56mgyi7j8hlq5pkqqai44f78xw-lean-ctx-3.10.4.drv
  /nix/store/y6967a23qib504zyw4pn1dqhh5rpbz5w-check-lean-ctx.drv