git: 7037112d6504 - main - math/lean: Update 3.46.0 -> 3.47.0

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 28 Aug 2022 21:53:23 UTC 
The branch main has been updated by yuri:

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

commit 7037112d6504b85bbbe83c43e6031a0c85e353fa
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-08-28 21:12:15 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-08-28 21:53:19 +0000

    math/lean: Update 3.46.0 -> 3.47.0
    
    Reported by:    portscout
---
 math/lean/Makefile | 2 +-
 math/lean/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/math/lean/Makefile b/math/lean/Makefile
index 653de9239fc4..4bb9c2592c6b 100644
--- a/math/lean/Makefile
+++ b/math/lean/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.46.0
+DISTVERSION=	3.47.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/lean/distinfo b/math/lean/distinfo
index 580a671f8775..e0eb5a852253 100644
--- a/math/lean/distinfo
+++ b/math/lean/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1660082380
-SHA256 (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 3933dc7f9d795d31dd28c3a6548c8949e26e7f098fce11ee0abb12c4d4562bfc
-SIZE (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 1913857
+TIMESTAMP = 1661720611
+SHA256 (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 2655f9530aa38caa4468870add4ca32381af03bfde55282ff680998d494c5d70
+SIZE (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 1917990