these 2 derivations will be built:
  /nix/store/5qypgg02l6p2gf1fk1vwfgppqyqhrb8p-reasonix-2.47.1.drv
  /nix/store/rmpggscpzkwbg5y5dz677gxvqikg1wmx-check-reasonix.drv