npmのpackage-lock.json相当が、Lakeマニフェストファイル。lean_packages/manifes.json と lake-manifest.json がある。注意すべきはマニフェストファイル自体のバージョンで、JSONファイルのトップレベルフィールドとしてバージョン番号が記入されている。
{ "version": 4, "packagesDir": "./lake-packages", "packages": [...] }
最近は、lake-manifest.json と lake-packages/ だろう。
lakefile.lean の require と重複情報になっている。どう処理するかが気になる。