@nprofile1q... @nprofile1q... that's all expressed in the Nix DSL currently. If a future Nix does expose a builtin for version resolution then the semantics of that would hook into the package calculus