these 2 derivations will be built:
  /nix/store/jwpmqinyapiy7yaq8rzdqiv1y21qzqkm-reasonix-2.48.0.drv
  /nix/store/pd02mpq7nvfqgcn0hrmkm1j5sajvlax7-check-reasonix.drv