Date: Tue, 9 Aug 2022 22:58:03 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: 467f9760bfc8 - main - math/lean: Update 3.45.0 -> 3.46.0 Message-ID: <202208092258.279Mw3Wj068180@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=467f9760bfc8301f93f324042d14b14426eb7ea7 commit 467f9760bfc8301f93f324042d14b14426eb7ea7 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-08-09 22:20:43 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-08-09 22:57:59 +0000 math/lean: Update 3.45.0 -> 3.46.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 d2177461a2ed..653de9239fc4 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.45.0 +DISTVERSION= 3.46.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/lean/distinfo b/math/lean/distinfo index fbad52f89658..580a671f8775 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1657855890 -SHA256 (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 92d2676e46447a62103dd17b7a5cb17ab7054dc2878be345a846fb03d8e6bcf5 -SIZE (leanprover-community-lean-v3.45.0_GH0.tar.gz) = 1913638 +TIMESTAMP = 1660082380 +SHA256 (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 3933dc7f9d795d31dd28c3a6548c8949e26e7f098fce11ee0abb12c4d4562bfc +SIZE (leanprover-community-lean-v3.46.0_GH0.tar.gz) = 1913857
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202208092258.279Mw3Wj068180>