diff --git a/leanpkg.toml b/leanpkg.toml
index 06b84b6c77b86..fe8a559a3a6f7 100644
--- a/leanpkg.toml
+++ b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "leanprover-community/lean:3.51.0"
+lean_version = "leanprover-community/lean:3.51.1"
 path = "src"
 
 [dependencies]