lake-manifest.json

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/Seasawher/mk-exercise",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "1ace0f6613c1d9ac95c83d8a0b5df2465c00f1d7",
   "name": "«mk-exercise»",
   "manifestFile": "lake-manifest.json",
   "inputRev": "lean/v4.10.0",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover/lean4-cli.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/Seasawher/mdgen",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "d1585cbcb8a970d6fd68f2b7b68a7c6f6a8e33a2",
   "name": "mdgen",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "lean99",
 "lakeDir": ".lake"}