these 2 derivations will be built:
  /nix/store/4dfz76i68fmsxf1q39z0rhas4g6c59js-hol-guard-3.16.5.drv
  /nix/store/57dm961zpsbpm8k17mkyisggwgxs5860-check-hol-guard.drv