these 2 derivations will be built:
  /nix/store/xb4dcph9p1nd6yldb8acyf3mvmw6n918-hol-guard-3.7.4.drv
  /nix/store/9cv7nzfviiaiyc07jfdbc99idcyvcdz7-check-hol-guard.drv