lake-manifest.json

{"version": 7,
 "packagesDir": ".lake/packages",
 "packages":
 [{"url": "https://github.com/axiomed/CaseInsensitive.lean.git",
   "type": "git",
   "subDir": null,
   "rev": "6cb001417ed35c69613e9afda4518e58275f808e",
   "name": "CaseInsensitive",
   "manifestFile": "lake-manifest.json",
   "inputRev": null,
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/tydeu/lean4-alloy.git",
   "type": "git",
   "subDir": null,
   "rev": "d93e0591e2b2ee76f13b8394d9b4c870af7489b6",
   "name": "alloy",
   "manifestFile": "lake-manifest.json",
   "inputRev": null,
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/algebraic-sofia/lean-libuv.git",
   "type": "git",
   "subDir": null,
   "rev": "b7fa34c8fed5bd9511748b6d6de2e3097b55949f",
   "name": "LibUV",
   "manifestFile": "lake-manifest.json",
   "inputRev": "socket-fix",
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/axiomed/Parse.lean.git",
   "type": "git",
   "subDir": null,
   "rev": "0af4ac3bd84affdf04fac16d7452ad89fb8c8902",
   "name": "Parse",
   "manifestFile": "lake-manifest.json",
   "inputRev": null,
   "inherited": false,
   "configFile": "lakefile.lean"},
  {"url": "https://github.com/axiomed/Time.lean.git",
   "type": "git",
   "subDir": null,
   "rev": "ebfcdbcd10ba1867f3979ec8d4b20fc3ecfbbe36",
   "name": "Time",
   "manifestFile": "lake-manifest.json",
   "inputRev": null,
   "inherited": false,
   "configFile": "lakefile.lean"}],
 "name": "Http",
 "lakeDir": ".lake"}