From 241ef4b67a5c95e33a4101769bb34ae45a66b82c Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Tue, 28 Nov 2023 11:29:40 +0100
Subject: [PATCH] bump to v4.3.0-rc2

---
 server/lake-manifest.json | 7 ++++---
 server/lean-toolchain     | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/server/lake-manifest.json b/server/lake-manifest.json
index 5c8f511..48f0d7b 100644
--- a/server/lake-manifest.json
+++ b/server/lake-manifest.json
@@ -1,4 +1,5 @@
-{"version": 6,
- "packagesDir": "lake-packages",
+{"version": 7,
+ "packagesDir": ".lake/packages",
  "packages": [],
- "name": "GameServer"}
+ "name": "GameServer",
+ "lakeDir": ".lake"}
diff --git a/server/lean-toolchain b/server/lean-toolchain
index 2f868c6..24a3cdb 100644
--- a/server/lean-toolchain
+++ b/server/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0
+leanprover/lean4:v4.3.0-rc2