these 2 derivations will be built:
  /nix/store/4gan6045cj7wgxc7v2f72v5j6wj27isn-hol-guard-3.15.0.drv
  /nix/store/79hvh99q054xh6mpfax0r3kpdciachan-check-hol-guard.drv