this derivation will be built:
  /nix/store/fim8abr5v2ij4vynf7ma6a734fapbl8z-lean-ctx-3.9.20.drv