change to dev development

hhu-adam · Feb 14, 2024 · fffd789 · fffd789
1 parent 9e5efeb
commit fffd789
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -13,10 +13,10 @@
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "3b660c518505b8f677224e3e36d1940d20ccb4bc",
+   "rev": "19f2ceface6de69f3ba5f809acaa7ac4c8f39470",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.5.0",
+   "inputRev": "dev",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/quote4",

diff --git a/lakefile.lean b/lakefile.lean
@@ -11,7 +11,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/leanprover-community/lean4game.git" leanVersion "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" "dev" "server" -- TODO
 }
 
 /- Choose GameServer dependency depending on the environment variable `LEAN4GAME`. -/