lake-manifest.json

{"version": 7,
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/xubaiw/CMark.lean",
   "type": "git",
   "subDir": null,
   "rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
   "name": "CMark",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
   "type": "git",
   "subDir": null,
   "rev": "6a350f4ec7323a4e8ad6bf50736f779853d441e9",
   "name": "UnicodeBasic",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/mhuisi/lean4-cli",
   "type": "git",
   "subDir": null,
   "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "nightly",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/hargonix/LeanInk",
   "type": "git",
   "subDir": null,
   "rev": "f1f904e00d79a91ca6a76dec6e318531a7fd2a0f",
   "name": "leanInk",
   "manifestFile": "lake-manifest.json",
   "inputRev": "doc-gen",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "«doc-gen4»",
 "lakeDir": ".lake"}