lake-manifest.json

{"version": 6,
 "packagesDir": "lake-packages",
 "packages":
 [{"git":
   {"url": "https://github.com/leanprover-community/mathlib4",
    "subDir?": null,
    "rev": "df32aa2ebe0f1ef9bce7831b1bcc0723f07a4724",
    "opts": {},
    "name": "mathlib",
    "inputRev?": "df32aa2ebe0f1ef9bce7831b1bcc0723f07a4724",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/EdAyers/ProofWidgets4",
    "subDir?": null,
    "rev": "f1a5c7808b001305ba07d8626f45ee054282f589",
    "opts": {},
    "name": "proofwidgets",
    "inputRev?": "v0.0.21",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/leanprover-community/quote4",
    "subDir?": null,
    "rev": "396201245bf244f9d78e9007a02dd1c388193d27",
    "opts": {},
    "name": "Qq",
    "inputRev?": "master",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover/lean4-cli",
    "subDir?": null,
    "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
    "opts": {},
    "name": "Cli",
    "inputRev?": "main",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover-community/aesop",
    "subDir?": null,
    "rev": "cb87803274405db79ec578fc07c4730c093efb90",
    "opts": {},
    "name": "aesop",
    "inputRev?": "master",
    "inherited": true}},
  {"git":
   {"url": "https://github.com/leanprover/std4",
    "subDir?": null,
    "rev": "efa34980940840cde7f70451da58c0bd3c5eeb67",
    "opts": {},
    "name": "std",
    "inputRev?": "main",
    "inherited": true}}],
 "name": "leanPremiseSelection"}