these 3 derivations will be built:
  /nix/store/fb7k6adyxj4d3wd6bya1ip9kaqcqpnx2-lean-ctx-3.11.0-vendor.drv
  /nix/store/90jw0x6z5acgah2bxjz0mpy31aphfsds-lean-ctx-3.11.0.drv
  /nix/store/y2d654k0xy5qz9k0n3p2vcf80ikf5cca-check-lean-ctx.drv