these 2 derivations will be built:
  /nix/store/y30nplvmkdrfkgwy6j2hw6if15vmd8dx-hol-guard-3.17.2.drv
  /nix/store/ld4jzm5rqssrhyxxqpzr2716w0m0zbz0-check-hol-guard.drv