From 888896347e70e64317c4ea6dc6943239334a3f7d Mon Sep 17 00:00:00 2001 From: David Renshaw Date: Sat, 14 Dec 2024 07:52:17 -0500 Subject: [PATCH] update mathlib --- lake-manifest.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index e258a8b..7ad0b5c 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "4d27973f4196ab691a7f82f5ee7c5dadf6e4b754", + "rev": "2cc36657a9903ea18c4e4337e82211045982d9ef", "name": "tryAtEachStep", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -15,7 +15,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "658f6495b5cc142add209df9c45b314281a67d39", + "rev": "b09464fc7b0ff4bcfd4de7ff54289799009b5913", "name": "mathlib", "manifestFile": "lake-manifest.json", "inputRev": "master",