these 2 derivations will be built:
  /nix/store/djsv9wsc70yrs11vq8vp6sgi8v95bpi0-hol-guard-3.26.0.drv
  /nix/store/0sw7cfgbqmgqka214q6jq6n2xwjlp7n9-check-hol-guard.drv