auto update dependencies

alexjbest · Jul 24, 2022 · 643c5fa · 643c5fa
1 parent 12b6e38
commit 643c5fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/leanpkg.toml b/leanpkg.toml
@@ -5,4 +5,4 @@ lean_version = "leanprover-community/lean:3.45.0"
 path = "src"
 
 [dependencies]
-mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "ab6bcd632cf3abadff895730a9f2f690ef2d333f"}
+mathlib = {git = "https://github.com/leanprover-community/mathlib", rev = "0179605ffa86a11d927c02ce9111d32ee3d04a43"}