bump mathlib

Game/Tactic/Apply.lean

@@ -1,4 +1,5 @@
 import Mathlib.Tactic.Replace
+import Std -- TODO: This is mathlib4#7080
 
 open Lean Elab Tactic
 

lake-manifest.json

@@ -20,10 +20,10 @@
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "658235826386f03bfb2b231fa42ead956567ce60",
+    "rev": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
     "opts": {},
     "name": "mathlib",
-    "inputRev?": "658235826386f03bfb2b231fa42ead956567ce60",
+    "inputRev?": "7d308680dc444730e84a86c72357ad9a7aea9c4b",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
@@ -44,15 +44,15 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean4game.git",
     "subDir?": "server",
-    "rev": "73b80e714dd4712f11675a59d67980e3815b53c9",
+    "rev": "87cb299b1f264a3e604b533f9e0854c1a948fee0",
     "opts": {},
     "name": "GameServer",
-    "inputRev?": "73b80e714dd4712f11675a59d67980e3815b53c9",
+    "inputRev?": "87cb299b1f264a3e604b533f9e0854c1a948fee0",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "dd3a248c2a22c37644ad21029ecfa38f6a36d813",
+    "rev": "e8c27f7d90ee71470558efd1bc197fe55068c748",
     "opts": {},
     "name": "std",
     "inputRev?": "main",

lakefile.lean

@@ -8,7 +8,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/leanprover-community/lean4game.git" "73b80e714dd4712f11675a59d67980e3815b53c9" "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe" "server"
 }
 
 /- Choose dependency depending on the environment variable NODE_ENV -/
@@ -24,7 +24,7 @@ open Lean in
 
 -- `Game` fix:
 require mathlib from git
-  "https://github.com/leanprover-community/mathlib4" @ "658235826386f03bfb2b231fa42ead956567ce60"
+  "https://github.com/leanprover-community/mathlib4" @ "7d308680dc444730e84a86c72357ad9a7aea9c4b"
 
 
 

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.0.0-rc4
+leanprover/lean4:v4.0.0