these 2 derivations will be built:
  /nix/store/7cv47jhmm6j43gqsp4rgaks8rn1vz5xr-reasonix-2.33.0.drv
  /nix/store/rjnc1g1w58fwdk6ybnzdsm5a3yp25ady-check-reasonix.drv