git: 4d3a799af982 - main - math/lean: Update 3.29.0 -> 3.30.0

[Yuri Victorovich]

The branch main has been updated by yuri:

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

commit 4d3a799af9823c88000956f2bae681a12789007d
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-05-06 17:38:15 +0000
Commit:     Yuri Victorovich <yuri at FreeBSD.org>
CommitDate: 2021-05-06 17:59:22 +0000

    math/lean: Update 3.29.0 -> 3.30.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 ab7646a7962a..c39ffb224da3 100644
--- a/math/lean/Makefile
+++ b/math/lean/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.29.0
+DISTVERSION=	3.30.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri at FreeBSD.org
diff --git a/math/lean/distinfo b/math/lean/distinfo
index 8150c5edb17c..99efa161ac60 100644
--- a/math/lean/distinfo
+++ b/math/lean/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1618947020
-SHA256 (leanprover-community-lean-v3.29.0_GH0.tar.gz) = ab7a9fbe13de048126b1607025d40e7e7cf51f663a85453d55c7799be5bdddac
-SIZE (leanprover-community-lean-v3.29.0_GH0.tar.gz) = 1870335
+TIMESTAMP = 1620321898
+SHA256 (leanprover-community-lean-v3.30.0_GH0.tar.gz) = 402b89ff4d368fd6597dd87c521fd2fe456c6b2b90c99d85f57523661bdd94be
+SIZE (leanprover-community-lean-v3.30.0_GH0.tar.gz) = 1871731