these 3 derivations will be built:
  /nix/store/k0mi0byh04rlra55ik6aini84hb9kg25-lean-ctx-3.11.4-vendor.drv
  /nix/store/lxfikhka9bc527is9v2naa47pqrbw4c3-lean-ctx-3.11.4.drv
  /nix/store/b3mgdddviimcj3h2zvy3n9zd5dmnri5a-check-lean-ctx.drv