these 2 derivations will be built:
  /nix/store/24rraxkck3sip5n8ckyl5nrak0fvyikr-lean-ctx-3.11.4.drv
  /nix/store/945kxsl072hp3169xg1a21fvqqj3nb8z-check-lean-ctx.drv