this derivation will be built:
  /nix/store/g32d6g0n6cl8giq64alzzarxx0g2balb-lean-ctx-3.10.2.drv