these 2 derivations will be built:
  /nix/store/zfbhkb57slax34yi5xv4r6441xg5d643-hol-guard-3.26.0.drv
  /nix/store/pmfmfrdk62ghkv9la8832ycbdizdwxh8-check-hol-guard.drv