lake-manifest.json

{"version": 5,
 "packagesDir": "lake-packages",
 "packages":
 [{"git":
   {"url": "https://github.com/lurk-lab/YatimaStdLib.lean",
    "subDir?": null,
    "rev": "5b64c5150e371fb280728cbb5b7c225b9c96b348",
    "opts": {},
    "name": "YatimaStdLib",
    "inputRev?": "5b64c5150e371fb280728cbb5b7c225b9c96b348",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/lurk-lab/straume",
    "subDir?": null,
    "rev": "053d9feccbface9a0b2c1a72447914376aac74ea",
    "opts": {},
    "name": "Straume",
    "inputRev?": "053d9feccbface9a0b2c1a72447914376aac74ea",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/lurk-lab/LSpec",
    "subDir?": null,
    "rev": "3b6023654b917c8641ec5e626724a43380cff8f0",
    "opts": {},
    "name": "LSpec",
    "inputRev?": "3b6023654b917c8641ec5e626724a43380cff8f0",
    "inherited": false}},
  {"git":
   {"url": "https://github.com/leanprover/std4/",
    "subDir?": null,
    "rev": "642cbc9960b49a65a779b8fce56b05ff83cf9e35",
    "opts": {},
    "name": "std",
    "inputRev?": "642cbc9960b49a65a779b8fce56b05ff83cf9e35",
    "inherited": true}}]}