Date: Thu, 6 May 2021 17:59:26 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 4d3a799af982 - main - math/lean: Update 3.29.0 -> 3.30.0 Message-ID: <202105061759.146HxQa2007952@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=4d3a799af9823c88000956f2bae681a12789007d commit 4d3a799af9823c88000956f2bae681a12789007d Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-05-06 17:38:15 +0000 Commit: Yuri Victorovich <yuri@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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202105061759.146HxQa2007952>