From 423627f196ba630a1fee2f387d4de6b339021fdb Mon Sep 17 00:00:00 2001
From: wolfi-bot <121097084+wolfi-bot@users.noreply.github.com>
Date: Wed, 31 Jul 2024 09:49:01 +0000
Subject: [PATCH] lean4/4.10.0 package update

Signed-off-by: wolfi-bot <121097084+wolfi-bot@users.noreply.github.com>
---
 lean4.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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.