git: ba948fd4b4da - main - math/lean4: update 4.20.0 → 4.20.1

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=ba948fd4b4da742cd844e85accfc89159c0e1133

commit ba948fd4b4da742cd844e85accfc89159c0e1133
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-06-05 15:23:32 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-06-05 18:27:32 +0000

    math/lean4: update 4.20.0 → 4.20.1
    
    Reported by:    portscout
---
 math/lean4/Makefile | 2 +-
 math/lean4/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 6c17ccfee08c..f88c468e34d0 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.20.0
+DISTVERSION=	4.20.1
 CATEGORIES=	math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/lean4/distinfo b/math/lean4/distinfo
index bcaf7eef4b66..7a3ac889cce7 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1748922676
-SHA256 (leanprover-lean4-v4.20.0_GH0.tar.gz) = a6b0c2e9865b0339d77060a59bc821cfd43af47debd93e214042386710d18054
-SIZE (leanprover-lean4-v4.20.0_GH0.tar.gz) = 40324553
+TIMESTAMP = 1749107862
+SHA256 (leanprover-lean4-v4.20.1_GH0.tar.gz) = 85b482da3748c404760a7492c331e5b6c74701d7913087b5da3616c5d949980f
+SIZE (leanprover-lean4-v4.20.1_GH0.tar.gz) = 40325710