these 2 derivations will be built:
  /nix/store/69ic6hj17p1z0gdzki6iqm89mpix9r60-hol-guard-3.6.1.drv
  /nix/store/91r645a08pjr1mn5g73jvjyxjxvym049-check-hol-guard.drv