lake-manifest.json

{"version": 6,
 "packagesDir": "lake-packages",
 "packages":
 [{"git":
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "subDir?": null,
    "rev": "c77531abe48e2d2cb5029d5a270f7b6f5cb964a0",
    "opts": {},
    "name": "mathlib",
    "inputRev?": null,
    "inherited": false}},
  {"git":
   {"url": "https://github.com/leanprover/std4",
    "subDir?": null,
    "rev": "795918af0b01cd79aea67f828f215cca71699eca",
    "opts": {},
    "name": "std",
    "inputRev?": "main",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover-community/quote4",
    "subDir?": null,
    "rev": "a387c0eb611857e2460cf97a8e861c944286e6b2",
    "opts": {},
    "name": "Qq",
    "inputRev?": "master",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover-community/aesop",
    "subDir?": null,
    "rev": "ed733adcb79e54e157fafb805ce3518d4411ab70",
    "opts": {},
    "name": "aesop",
    "inputRev?": "master",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover-community/ProofWidgets4",
    "subDir?": null,
    "rev": "f1a5c7808b001305ba07d8626f45ee054282f589",
    "opts": {},
    "name": "proofwidgets",
    "inputRev?": "v0.0.21",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover/lean4-cli",
    "subDir?": null,
    "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
    "opts": {},
    "name": "Cli",
    "inputRev?": "main",
    "inherited": true}}],
 "name": "«lean-poly»"}