these 2 derivations will be built:
  /nix/store/cspa8rv6vdbhpla9zxabc4jihk307mmi-hol-guard-3.32.0.drv
  /nix/store/09hvsh6kzxk2p4cj0vypd76ziwq8iqy1-check-hol-guard.drv