these 2 derivations will be built:
  /nix/store/crhlh64iqmb71zz5bnivra2qh2y1lk9b-hol-guard-3.12.0.drv
  /nix/store/nywk09rkddfgqswlha4rph4dzqhffjp1-check-hol-guard.drv