these 2 derivations will be built:
  /nix/store/lsxp66phl7iillb2dd5pvrdbkdzsqbhw-hol-guard-3.16.1.drv
  /nix/store/xznigbgfnnb93iw4g5m06q5fi89md77f-check-hol-guard.drv