2023-05-04 11:48:58 +02:00
|
|
|
{"version": 4,
|
|
|
|
|
"packagesDir": "lake-packages",
|
|
|
|
|
"packages":
|
2023-05-15 15:05:02 +02:00
|
|
|
[{"path": {"name": "GameServer", "dir": "./../lean4game/server"}},
|
2023-05-04 11:48:58 +02:00
|
|
|
{"git":
|
|
|
|
|
{"url": "https://github.com/leanprover/std4",
|
|
|
|
|
"subDir?": null,
|
|
|
|
|
"rev": "44a92d84c31a88b9af9329a441890ad449d8cd5f",
|
|
|
|
|
"name": "std",
|
2023-05-08 18:23:18 +02:00
|
|
|
"inputRev?": "44a92d84c31a88b9af9329a441890ad449d8cd5f"}}]}
|
