these 2 derivations will be built:
  /nix/store/vrsgsw4cbh5li8z2s2bs5g5179w60wwd-hol-guard-3.16.1.drv
  /nix/store/5076jgxxjfrafjf3qzp0rpbcvrpq9i8y-check-hol-guard.drv