these 2 derivations will be built:
  /nix/store/9mw8r8vzczcsf3z31x2ljw1h4lfms2wx-reasonix-2.47.1.drv
  /nix/store/hrn8pyra3li5haz9a6fjpq10dzbsmx20-check-reasonix.drv