lake-manifest.json

{"version": "1.1.0",
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/leanprover/doc-gen4",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "0291556f04e89d46cd2999f0f4c1164c81778207",
   "name": "«doc-gen4»",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/mathlib4.git",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "9837ca9d65d9de6fad1ef4381750ca688774e608",
   "name": "mathlib",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/mhuisi/lean4-cli",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "0c8ea32a15a4f74143e4e1e107ba2c412adb90fd",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "470c41643209208d325a5a7315116f293c7443fb",
   "name": "UnicodeBasic",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/dupuisf/BibtexQuery",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "46376bc3c8f46ac1a1fd7712856b0f7bd6166098",
   "name": "BibtexQuery",
   "manifestFile": "lake-manifest.json",
   "inputRev": "master",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/acmepjz/md4lean",
   "type": "git",
   "subDir": null,
   "scope": "",
   "rev": "f8ed91f3a9d806648ae6a03ab98c8b87e8bedc7e",
   "name": "MD4Lean",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/plausible",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2c57364ef83406ea86d0f78ce3e342079a2fece5",
   "name": "plausible",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/LeanSearchClient",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "003ff459cdd85de551f4dcf95cdfeefe10f20531",
   "name": "LeanSearchClient",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/import-graph",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "9a0b533c2fbd6195df067630be18e11e4349051c",
   "name": "importGraph",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/ProofWidgets4",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2b000e02d50394af68cfb4770a291113d94801b5",
   "name": "proofwidgets",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v0.0.48",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/aesop",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "2689851f387bb2cef351e6825fe94a56a304ca13",
   "name": "aesop",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/quote4",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "f0c584bcb14c5adfb53079781eeea75b26ebbd32",
   "name": "Qq",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/batteries",
   "type": "git",
   "subDir": null,
   "scope": "leanprover-community",
   "rev": "e8dc5fc16c625fc4fe08f42d625523275ddbbb4b",
   "name": "batteries",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.15.0",
   "inherited": true,
   "configFile": "lakefile.toml"}],
 "name": "«lean-notes»",
 "lakeDir": ".lake"}