these 2 derivations will be built:
  /nix/store/pqxvfm33x7f4mpvi7am70v7kg98h2c37-hol-guard-3.12.3.drv
  /nix/store/rzyksxd5ywvgwnfyakn99f871chmqnmv-check-hol-guard.drv