bump to v4.3.0

Author: joneugster

Game.lean

@@ -17,4 +17,12 @@ For example: Game version, Credits, Link to Github and Zulip, etc.
 Use markdown.
 "
 
+/-! Information to be displayed on the servers landing page. -/
+Languages "English"
+CaptionShort "Game Template"
+CaptionLong "You should use this game as a template for your own game and add your own levels."
+-- Prerequisites "" -- add this if your game depends on other games
+-- Image "" -- TODO: Not implemented
+
+/-! Build the game. Show's warnings if it found a problem with your game. -/
 MakeGame

lake-manifest.json

@@ -4,19 +4,19 @@
  [{"url": "https://github.com/leanprover/std4.git",
    "type": "git",
    "subDir": null,
-   "rev": "a652e09bd81bcb43ea132d64ecc16580b0c7fa50",
+   "rev": "2e4a3586a8f16713f16b2d2b3af3d8e65f3af087",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.3.0-rc2",
+   "inputRev": "v4.3.0",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/lean4game.git",
    "type": "git",
    "subDir": "server",
-   "rev": "622e9d389768e8abb5b3103a65d07165587a27ad",
+   "rev": "0714c1d3fd4ebb60e4921bfe308c2277f89e55ad",
    "name": "GameServer",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.3.0-rc2",
+   "inputRev": "v4.3.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/quote4",
@@ -58,10 +58,10 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "83d4f222771f491b351d70b070406481f5d2b2ba",
+   "rev": "f04afed5ac9fea0e1355bc6f6bee2bd01f4a888d",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.3.0-rc2",
+   "inputRev": "v4.3.0",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "Game",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.3.0-rc2
+leanprover/lean4:v4.3.0