these 2 derivations will be built:
  /nix/store/7knvclj4c0cspmgx8kmg3grbr6m058x9-reasonix-2.47.0.drv
  /nix/store/4abhxs6ds0frgmhh9x4jpfb97j5q513b-check-reasonix.drv