this derivation will be built:
  /nix/store/sg04smqad3vmplpsabhki6zsz48pw122-check-lean-ctx.drv