these 2 derivations will be built:
  /nix/store/x238gihsjvval4jw7c43880h20hh2yl6-lean-ctx-3.11.0.drv
  /nix/store/1m1kf74z8lm9a6ky221p1758k14x4j6g-check-lean-ctx.drv