From d3d53b335ad9b58254a8f0953f82d2ae80c620bc Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Thu, 15 Jun 2023 11:28:15 +0100 Subject: [PATCH 1/3] Test leanprover/lean#812 --- leanpkg.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/leanpkg.toml b/leanpkg.toml index fe8a559a3a6f7..216d3d196fcb1 100644 --- a/leanpkg.toml +++ b/leanpkg.toml @@ -1,7 +1,7 @@ [package] name = "mathlib" version = "0.1" -lean_version = "leanprover-community/lean:3.51.1" +lean_version = "eric-wieser/lean:no_confusion" path = "src" [dependencies] From 0805dc0f3e231f36f3d940f3212d99d10343ae3b Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Thu, 15 Jun 2023 16:05:38 +0100 Subject: [PATCH 2/3] Update leanpkg.toml --- leanpkg.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/leanpkg.toml b/leanpkg.toml index 216d3d196fcb1..7d9210ce0bb9f 100644 --- a/leanpkg.toml +++ b/leanpkg.toml @@ -1,7 +1,7 @@ [package] name = "mathlib" version = "0.1" -lean_version = "eric-wieser/lean:no_confusion" +lean_version = "eric-wieser/lean:no_confusion_again" path = "src" [dependencies] From d5309de622bee1046a54f11aec60e00a154ace8b Mon Sep 17 00:00:00 2001 From: Eric Wieser Date: Tue, 20 Jun 2023 09:09:26 +0100 Subject: [PATCH 3/3] Update leanpkg.toml --- leanpkg.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/leanpkg.toml b/leanpkg.toml index 7d9210ce0bb9f..96b10c1266182 100644 --- 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]