these 2 derivations will be built:
  /nix/store/lxcjjiaa3yk0qib63883mkr9bwyck2x1-hol-guard-3.38.0.drv
  /nix/store/6p1gwmckzxnxiyqzqnk2myw385ld6frw-check-hol-guard.drv