these 2 derivations will be built:
  /nix/store/k8v563cxdxnpgdql9c75zbvzw6r88lc1-hol-guard-3.27.1.drv
  /nix/store/sbazn4yxdpgsfhkljcbhx4l9jsf47x47-check-hol-guard.drv