Update leanpkg.toml

leanprover-community · Jun 20, 2023 · d5309de · d5309de
1 parent 0805dc0
commit d5309de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,7 +1,7 @@
 [package]
 name = "mathlib"
 version = "0.1"
-lean_version = "eric-wieser/lean:no_confusion_again"
+lean_version = "eric-wieser/lean:3.51.1-no_confusion"
 path = "src"
 
 [dependencies]