diff --git a/lakefile.toml b/lakefile.toml
index 00f8f6d..f7f5b0c 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -1,4 +1,4 @@
-name = "AnsiColor"
+name = "ansiColor"
 version = "0.1.0"
 defaultTargets = ["AnsiColor"]
 testDriver = "tests"
diff --git a/lean-toolchain b/lean-toolchain
index ea6ca7f..87b20aa 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.28.0
\ No newline at end of file
+leanprover/lean4:v4.29.0-rc6