these 2 derivations will be built:
  /nix/store/72qjxk90yji8n0g92srdkfysw3pinika-hol-guard-3.27.1.drv
  /nix/store/dmdxhrs2w1f6p5x3j7m7s6zdj8i26f48-check-hol-guard.drv