these 2 derivations will be built:
  /nix/store/sf4v9brjmbhaq7lrh72zsl0ism9z99vr-hol-guard-3.35.0.drv
  /nix/store/f73wh1sqsvb2bjfzq9ihvmkmgrs8bcd7-check-hol-guard.drv