update lean

2023-08-24 14:11:29 +01:00
parent 93fb5e43d2
commit 4dfe0e9ce9
1 changed files with 6 additions and 1 deletions
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -31,7 +31,12 @@
    "rev": "354432d437fb37738ed93ac6988669d78a870ed0",
    "name": "aesop",
    "inputRev?": "master"}},
-  {"path": {"name": "GameServer", "dir": "./../lean4game/server"}},
+  {"git":
+   {"url": "https://github.com/leanprover-community/lean4game.git",
+    "subDir?": "server",
+    "rev": "25f2f0830935aa18bcb5ae3ca7c0c4e4f9613bc9",
+    "name": "GameServer",
+    "inputRev?": "25f2f0830935aa18bcb5ae3ca7c0c4e4f9613bc9"}},
  {"git":
   {"url": "https://github.com/leanprover/std4",
    "subDir?": null,