these 2 derivations will be built:
  /nix/store/kqxn09b9iywcq710gjdi655rc9pm9l5g-reasonix-2.46.0.drv
  /nix/store/aj8wz3z1cwphb47h67gq55vqgvw7yv6y-check-reasonix.drv