these 2 derivations will be built:
  /nix/store/p8s6z06mxgs71mcm6fp6gqd9yp7xbxav-hol-guard-3.27.1.drv
  /nix/store/304lalyhddb5cgnvywkczxm5l136wn00-check-hol-guard.drv