these 2 derivations will be built:
  /nix/store/1wbblxah588pjnsn6n1nwl936i7smg77-reasonix-2.31.0.drv
  /nix/store/sibm6g40003vmrbs2njvmj3sb47msyis-check-reasonix.drv