these 2 derivations will be built:
  /nix/store/306r78ib8hwjjqs2bzs4zcqi29z04fjm-hol-guard-3.7.1.drv
  /nix/store/08fskwyi2ibzb0jwcis4n56cp0i7kwik-check-hol-guard.drv