this derivation will be built:
  /nix/store/bgd7n3ydp1ph5i05ff5api5wf073v55g-lean-ctx-3.10.0.drv