update batteries

leanprover-community · Jan 8, 2025 · 79b4948 · 79b4948
1 parent 6fe6a43
commit 79b4948
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "e8dc5fc16c625fc4fe08f42d625523275ddbbb4b",
+   "rev": "b2e8b6868397fcd93c00aca7278b933c16c0ffb3",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.15.0",
+   "inputRev": "v4.16.0-rc1",
    "inherited": false,
    "configFile": "lakefile.toml"}],
  "name": "proofwidgets",