lake-manifest.json

{"version": 4,
 "packagesDir": "./lake-packages",
 "packages":
 [{"git":
   {"url": "https://github.com/lurk-lab/Megaparsec.lean",
    "subDir?": null,
    "rev": "3a0fc855661b9179362aac65cbeb08560be32f29",
    "name": "Megaparsec",
    "inputRev?": "3a0fc855661b9179362aac65cbeb08560be32f29"}},
  {"git":
   {"url": "https://github.com/lurk-lab/YatimaStdLib.lean",
    "subDir?": null,
    "rev": "10f2b444390a41ede90ca5c038c6ff972014d433",
    "name": "YatimaStdLib",
    "inputRev?": "10f2b444390a41ede90ca5c038c6ff972014d433"}},
  {"git":
   {"url": "https://github.com/lurk-lab/Lurk.lean",
    "subDir?": null,
    "rev": "283a4008a606bccb109eda55c80a5eae39a62788",
    "name": "Lurk",
    "inputRev?": "283a4008a606bccb109eda55c80a5eae39a62788"}},
  {"git":
   {"url": "https://github.com/yatima-inc/straume",
    "subDir?": null,
    "rev": "9597873f0b18a9e97b7315fb84968c55d09a6112",
    "name": "Straume",
    "inputRev?": "9597873f0b18a9e97b7315fb84968c55d09a6112"}},
  {"git":
   {"url": "https://github.com/lurk-lab/LSpec.git",
    "subDir?": null,
    "rev": "88f7d23e56a061d32c7173cea5befa4b2c248b41",
    "name": "LSpec",
    "inputRev?": "88f7d23e56a061d32c7173cea5befa4b2c248b41"}},
  {"git":
   {"url": "https://github.com/lurk-lab/Poseidon.lean",
    "subDir?": null,
    "rev": "4180a316a7822b924e05cda1729d8612fcc81ee7",
    "name": "Poseidon",
    "inputRev?": "4180a316a7822b924e05cda1729d8612fcc81ee7"}},
  {"git":
   {"url": "https://github.com/lurk-lab/Cli.lean",
    "subDir?": null,
    "rev": "ef6f9bcd1738638fca8d319dbee653540d56614e",
    "name": "Cli",
    "inputRev?": "ef6f9bcd1738638fca8d319dbee653540d56614e"}},
  {"git":
   {"url": "https://github.com/lurk-lab/LightData",
    "subDir?": null,
    "rev": "6dfd01c9e056deaf5b76e20f995c39e840bbde86",
    "name": "LightData",
    "inputRev?": "6dfd01c9e056deaf5b76e20f995c39e840bbde86"}},
  {"git":
   {"url": "https://github.com/leanprover/std4/",
    "subDir?": null,
    "rev": "fde95b16907bf38ea3f310af406868fc6bcf48d1",
    "name": "std",
    "inputRev?": "fde95b16907bf38ea3f310af406868fc6bcf48d1"}}]}