this derivation will be built:
  /nix/store/hd99q2h679nzpmngg58332xl48qh3giz-lean-ctx-3.9.12.drv