these 2 derivations will be built:
  /nix/store/rrfi63bc27mck0b08lj9b1bm7gl2yapx-hol-guard-3.26.0.drv
  /nix/store/x5wz6ccifcnrh2cndw2as7vabb3m4l9r-check-hol-guard.drv