these 2 derivations will be built:
  /nix/store/9mwbpgmiq8l778fp76lvi0305w4nl4x8-lean-ctx-3.12.4.drv
  /nix/store/vzhv7l6h7w8nxa9jy0lypk2mdvgikjdw-check-lean-ctx.drv