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