these 3 derivations will be built:
  /nix/store/f0gynjk8r1rsc5jk5bjx4fgvj5737959-source.drv
  /nix/store/7fg9y1ynm4wal44ghsj3w91zhmigph6g-lean-ctx-3.11.0.drv
  /nix/store/1yn2aiwbqwip3xq5ymxzzz1xafh9x5qh-check-lean-ctx.drv