bump deps

leanprover-community · Nov 14, 2024 · 70fef96 · 70fef96
1 parent 75fd9b7
commit 70fef96
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3c51eeec0743810c92c4e24a89e5f5f2666b901b",
+   "rev": "2ed85f320805f9d3a455ced3b181562ed146bc20",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2024-11-13
+leanprover/lean4:nightly-2024-11-14