Has there been any discussion around making a new project format for a lein v3? I’m thinking a version like project.edn which will not be evaled? This might allow tools.deps to understand its manifest statically and work there. I ask because all of my project.clj files have not taken advantage of the evaluation (as far as I know). They’ve been largely key value pairs inside a macro with a name