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