these 2 derivations will be built:
  /nix/store/nkvzy64464kcb7ygw4sdd5rsi6vp7hgq-reasonix-2.53.1.drv
  /nix/store/ifnd2pnb7grs2p6959x32q74yp3q5bb7-check-reasonix.drv