diff --git a/leanpkg.toml b/leanpkg.toml
index f88b0d9d73..d1f32ebe80 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,4 +1,4 @@
 [package]
 name = "lake"
 version = "2.0-pre"
-lean_version = "leanprover/lean4:nightly-2021-08-16"
+lean_version = "leanprover/lean4:nightly-2021-09-05"