these 2 derivations will be built:
  /nix/store/m80sqrb819y0j5m2195mfwzcrhkjwscx-reasonix-2.47.0.drv
  /nix/store/3qy633slc4k5m3brikdyfpd9x7rvbg78-check-reasonix.drv