fix: use correct dependency

hhu-adam · Feb 14, 2024 · 942c73c · 942c73c
1 parent c40705a
commit 942c73c
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -10,11 +10,14 @@
    "inputRev": "v4.5.0",
    "inherited": true,
    "configFile": "lakefile.lean"},
-  {"type": "path",
+  {"url": "https://github.com/leanprover-community/lean4game.git",
+   "type": "git",
+   "subDir": "server",
+   "rev": "3b660c518505b8f677224e3e36d1940d20ccb4bc",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
+   "inputRev": "v4.5.0",
    "inherited": false,
-   "dir": "./../lean4game/server",
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/quote4",
    "type": "git",