these 2 derivations will be built:
  /nix/store/c7lqgsf2sp41ni9pjf8ibrlx5m4m7k9d-hol-guard-3.31.0.drv
  /nix/store/vyfqgwyc71zppp0vw3z3hiqr32akvrwp-check-hol-guard.drv