these 2 derivations will be built:
  /nix/store/wjy0yjzwm049k6nasjbcsiibmgw9dfyp-hol-guard-3.32.0.drv
  /nix/store/4q5hlhsvnxdrl47flffack8csh1p18kk-check-hol-guard.drv