these 2 derivations will be built:
  /nix/store/zqh8xb7vj3zhvv6bjqrqkwfnazg67ar3-hol-guard-3.15.0.drv
  /nix/store/27pabdlsizjvyr8rb3rdpfyrhfz0pqa1-check-hol-guard.drv