these 2 derivations will be built:
  /nix/store/qmxpc3lsfv4j2l9gazknay3yyvrfqb6w-reasonix-2.30.0.drv
  /nix/store/zn6y4fiabwldhy76hm5lmiq8zba8d0vi-check-reasonix.drv