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