these 2 derivations will be built:
  /nix/store/i41y35wixpb11ffqnrfhwgr3xdfmw7im-hol-guard-3.38.0.drv
  /nix/store/vpyk2jdymvlc9lm0j6hlyhjca7j8ag39-check-hol-guard.drv