lake-manifest.json

{"version": 7,
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "http://github.com/leanprover/std4.git",
   "type": "git",
   "subDir": null,
   "rev": "ee49cf8fada1bf5a15592c399a925c401848227f",
   "name": "std",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.5.0-rc1",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "http://github.com/mhuisi/lean4-cli.git",
   "type": "git",
   "subDir": null,
   "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
   "name": "Cli",
   "manifestFile": "lake-manifest.json",
   "inputRev": "nightly",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/gebner/quote4",
   "type": "git",
   "subDir": null,
   "rev": "1c88406514a636d241903e2e288d21dc6d861e01",
   "name": "Qq",
   "manifestFile": "lake-manifest.json",
   "inputRev": "master",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/fgdorais/lean4-unicode-basic",
   "type": "git",
   "subDir": null,
   "rev": "8603bb1d0d5edae780e3a85a0398fd83dbbb80a3",
   "name": "UnicodeBasic",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/fgdorais/lean4-parser",
   "type": "git",
   "subDir": null,
   "rev": "e13af0e4538b2dbcb9f3b35e73126c36019a06bd",
   "name": "Parser",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/JamesGallicchio/http",
   "type": "git",
   "subDir": null,
   "rev": "6f0ad6723d3b1cc1ee9903d4a877f9be480dfab3",
   "name": "Http",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "http://github.com/JamesGallicchio/lean-openapi",
   "type": "git",
   "subDir": null,
   "rev": "27613464557994f7bd2535d4e85c4a29f819483b",
   "name": "«lean-openapi»",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/tydeu/lean4-alloy/",
   "type": "git",
   "subDir": null,
   "rev": "0a38fa20a1357d9d57e8cec54a33c6bbdc36efeb",
   "name": "alloy",
   "manifestFile": "lake-manifest.json",
   "inputRev": "master",
   "inherited": true,
   "configFile": "lakefile.lean"},
  {"url": "http://github.com/JamesGallicchio/Socket.lean",
   "type": "git",
   "subDir": null,
   "rev": "e302dc87f647442c32f01a78bb01117283015142",
   "name": "socket",
   "manifestFile": "lake-manifest.json",
   "inputRev": "bump-deps",
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "waterfall",
 "lakeDir": ".lake"}