these 2 derivations will be built:
  /nix/store/85ab20hnlrx5lwfzbzll2gmgj77aim96-lean-ctx-3.10.5.drv
  /nix/store/48vfvkm71mw29f15ag38zvcscy2mfj5g-check-lean-ctx.drv