lake-manifest.json

{"version": 7,
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/leanprover-community/batteries",
   "type": "git",
   "subDir": null,
   "rev": "551ff2d7dffd7af914cdbd01abbd449fe3e3d428",
   "name": "batteries",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/quote4",
   "type": "git",
   "subDir": null,
   "rev": "53156671405fbbd5402ed17a79bd129b961bd8d6",
   "name": "Qq",
   "manifestFile": "lake-manifest.json",
   "inputRev": "master",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/aesop",
   "type": "git",
   "subDir": null,
   "rev": "53ba96ad7666d4a2515292974631629b5ea5dfee",
   "name": "aesop",
   "manifestFile": "lake-manifest.json",
   "inputRev": "master",
   "inherited": true,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/ProofWidgets4",
   "type": "git",
   "subDir": null,
   "rev": "e6b6247c61280c77ade6bbf0bc3c66a44fe2e0c5",
   "name": "proofwidgets",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v0.0.36",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/mhuisi/lean4-cli",
   "type": "git",
   "subDir": null,
   "rev": "10d88b52fa8d717fa8e29af3abf0c3a2bf175497",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "nightly",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/leanprover-community/import-graph",
   "type": "git",
   "subDir": null,
   "rev": "77e081815b30b0d30707e1c5b0c6a6761f7a2404",
   "name": "importGraph",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.8.0",
   "inherited": false,
   "configFile": "lakefile.toml"},
  {"url": "https://github.com/leanprover-community/mathlib4",
   "type": "git",
   "subDir": null,
   "rev": "b5eba595428809e96f3ed113bc7ba776c5f801ac",
   "name": "mathlib",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.8.0",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/T-Brick/Numbers",
   "type": "git",
   "subDir": null,
   "rev": "a7093c6d0ba77139ab79d8651b26fa8a4fd1a376",
   "name": "numbers",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/T-Brick/ControlFlow",
   "type": "git",
   "subDir": null,
   "rev": "781eafdbda869f142ff05f07c7a4da926bf4ec39",
   "name": "controlflow",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/T-Brick/lean-wasm",
   "type": "git",
   "subDir": null,
   "rev": "939e41c210dbadb037b6a3806cb79ff5c09e2799",
   "name": "wasm",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "c0deine",
 "lakeDir": ".lake"}