diff --git a/lean-toolchain b/lean-toolchain
index 706a214..9ceb335 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4-pr-releases:pr-release-6388
+leanprover/lean4:nightly-2024-12-19
diff --git a/widget/package-lock.json.hash b/widget/package-lock.json.hash
index d87a096..8cdd526 100644
--- a/widget/package-lock.json.hash
+++ b/widget/package-lock.json.hash
@@ -1 +1 @@
-3707797257388689788
\ No newline at end of file
+13971422361390139723
\ No newline at end of file
diff --git a/widget/package-lock.json.trace b/widget/package-lock.json.trace
index 93d6459..999d037 100644
--- a/widget/package-lock.json.trace
+++ b/widget/package-lock.json.trace
@@ -2,5 +2,8 @@
  [{"message": "././widget> npm install", "level": "trace"},
   {"message":
    "stdout:\nup to date, audited 356 packages in 1s\n\n65 packages are looking for funding\n  run `npm fund` for details\n\n1 high severity vulnerability\n\nTo address all issues, run:\n  npm audit fix\n\nRun `npm audit` for details.",
+   "level": "trace"},
+  {"message":
+   "stderr:\nnpm notice\nnpm notice New major version of npm available! 10.9.2 -> 11.0.0\nnpm notice Changelog: https://github.com/npm/cli/releases/tag/v11.0.0\nnpm notice To update run: npm install -g npm@11.0.0\nnpm notice",
    "level": "trace"}],
- "depHash": "5883476720934693714"}
\ No newline at end of file
+ "depHash": "12817261929849284072"}
\ No newline at end of file