these 2 derivations will be built:
  /nix/store/h43ax67cvmfn87sx5ynq2agrq0vrgdkq-lean-ctx-3.11.0.drv
  /nix/store/2fcr2y7j8bxsdmds1lf8f7wk7a366wkk-check-lean-ctx.drv