these 5 derivations will be built:
  /nix/store/wr98zgy600py2nmyfdlmhrisfbz7kirq-source.drv
  /nix/store/hf5p2xhwjfralwzbk128bmh2fqm1laf9-lean-ctx-3.12.0-vendor-staging.drv
  /nix/store/rrrk7rxsk73wv609q0bhln6wz792h074-lean-ctx-3.12.0-vendor.drv
  /nix/store/jbfnhckgkplprqskcys17wkh82xah7pz-lean-ctx-3.12.0.drv
  /nix/store/31marv8yx9rpll1h4pynhj9d0z8vppri-check-lean-ctx.drv