feat: bump to nightly-2021-10-09 (#63)

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
leanprover-community · Oct 9, 2021 · 35c2f2b · 35c2f2b
1 parent d82e2dd
commit 35c2f2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -1,4 +1,4 @@
 [package]
 name = "mathlib4"
 version = "0.1"
-lean_version = "leanprover/lean4:nightly-2021-10-07"
+lean_version = "leanprover/lean4:nightly-2021-10-09"