these 2 derivations will be built:
  /nix/store/x0fy7myp9ivv9v2rv9nrkvxkd9zrl7sp-reasonix-2.31.0.drv
  /nix/store/m7a77jzs8xribqjfzp5ziy4g4aa9km87-check-reasonix.drv