diff --git a/lean4.yaml b/lean4.yaml
index 5fab190d1f7..084d2309fc4 100644
--- a/lean4.yaml
+++ b/lean4.yaml
@@ -1,7 +1,7 @@
 package:
   name: lean4
   version: 4.10.0
-  epoch: 0
+  epoch: 1
   description: "Secure Reliable Transport (SRT)"
   copyright:
     - license: Apache-2.0
@@ -25,7 +25,7 @@ pipeline:
     with:
       repository: https://github.com/leanprover/lean4
       tag: v${{package.version}}
-      expected-commit: 66aa00bd74e768c27349e2be2344c5aa924a9ca9
+      expected-commit: c375e19f6b656fcd594cdca3a38b8578634df8cd
 
   - runs: |
       # This doesn't work with Ninja so we can't use our default pipelines.