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