these 2 derivations will be built:
  /nix/store/jdc7zgh4gic4pmxvhn6gcgjgh9i4i94r-hol-guard-3.16.5.drv
  /nix/store/p5936q6ikcwlirq2dhqinwcq5aahf04g-check-hol-guard.drv