these 5 derivations will be built:
  /nix/store/kmyxx779jbd3bxqi78p1gsx2xa0vm4vd-source.drv
  /nix/store/kd1v0m1faqz0c1alyll1gwvm91dfnlra-lean-ctx-3.12.0-vendor-staging.drv
  /nix/store/ryjsn1zgs76ij22bnsc8bqyxckn1in9g-lean-ctx-3.12.0-vendor.drv
  /nix/store/zsa7wnzyhx5fyc152pgvjhasl8ams9kx-lean-ctx-3.12.0.drv
  /nix/store/23jl3kk99fd9xvnjp064nvm206r4yj31-check-lean-ctx.drv