Merge pull request #25295 from wolfi-dev/wolfictl-0f71ea36-1c60-4df5-…

…a10e-2a31b062655b

lean4/4.10.0 package update

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.