chore: bump to v4.16.0-rc2

kim-em · kim-em · commit 7a4bbf34563a · 2025-01-14T13:39:16.000+11:00
diff --git a/lakefile.lean b/lakefile.lean
@@ -6,7 +6,7 @@ package proofwidgets where
   buildArchive? := "ProofWidgets4.tar.gz"
   releaseRepo := "https://github.com/leanprover-community/ProofWidgets4"
 
-require "leanprover-community" / "batteries" @ git "v4.16.0-rc1"
+require "leanprover-community" / "batteries" @ git "v4.16.0-rc2"
 
 def npmCmd : String :=
   if Platform.isWindows then "npm.cmd" else "npm"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.16.0-rc1
+leanprover/lean4:v4.16.0-rc2
