chore: bump toolchain to v4.19.0

kim-em · kim-em · commit 70b009f48c03 · 2025-05-01T17:49:14.000+02: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.19.0-rc1"
+require "leanprover-community" / "batteries" @ git "v4.19.0"
 
 def Lake.Package.widgetDir (pkg : Package) := pkg.dir / "widget"
 
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.19.0-rc2
+leanprover/lean4:v4.19.0
