these 2 derivations will be built:
  /nix/store/3m4pkwnm19fqykyzy7hv6g4252r6wxrq-reasonix-2.31.0.drv
  /nix/store/wq24b3m73bziwcjmkd12pnka0inygjva-check-reasonix.drv