these 2 derivations will be built:
  /nix/store/8b50qzvg2ajw2b3xvjksbzw3nabwnap4-hol-guard-3.31.0.drv
  /nix/store/gcnwfvdj3h89n9brmk1nv6wvhzi640wd-check-hol-guard.drv