lake-manifest.json

{"version": 4,
 "packagesDir": "lake-packages",
 "packages":
 [{"git":
   {"url": "https://github.com/aripiprazole/pgsql.git",
    "subDir?": null,
    "rev": "676cee8d2da16605b2b74721d5ea8bc784017e67",
    "name": "pgsql",
    "inputRev?": null}},
  {"git":
   {"url": "https://github.com/algebraic-sofia/soda.git",
    "subDir?": null,
    "rev": "32ce9234fadfec34f54eb33a2adc65f165397c67",
    "name": "soda",
    "inputRev?": null}},
  {"git":
   {"url": "https://github.com/xubaiw/lean4-socket.git",
    "subDir?": null,
    "rev": "e9190e622e4109196907ee03c33822d10d7d39b9",
    "name": "socket",
    "inputRev?": null}},
  {"git":
   {"url": "https://github.com/algebraic-sofia/lina.git",
    "subDir?": null,
    "rev": "0b435543d72c5152bb25fa9e171127827f496a8b",
    "name": "lina",
    "inputRev?": null}},
  {"git":
   {"url": "https://github.com/algebraic-sofia/melp.git",
    "subDir?": null,
    "rev": "583fb56f4a27ba27856e29cdb4070f74415e9ea3",
    "name": "melp",
    "inputRev?": null}},
  {"git":
   {"url": "https://github.com/algebraic-sofia/ash.git",
    "subDir?": null,
    "rev": "2ffd3b885ce042d0897feb9278724b2b2632278b",
    "name": "ash",
    "inputRev?": null}}]}