fix: lake: visit direct deps before adding manifest entries (#4485) Fixes a bug in #4371 where the version of a package used by a dependency would take precedence over that of a the same package as a direct dependency if that package had a a manifest. This was because the direct dependency's manifest entries were added before all the direct dependencies were visited.
This is the repository for Lean 4.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean (documentation source: doc/make/index.md).