Date: Fri, 19 May 2023 07:54:21 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: 50a02f532588 - main - =?utf-8?Q?math/lean:=20Update=203.50.3=20=E2=86=92=203.51.0?= Message-ID: <202305190754.34J7sLRP082963@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=50a02f53258860b69de4c618a8f221d864a4f8c9 commit 50a02f53258860b69de4c618a8f221d864a4f8c9 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-05-19 06:53:04 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2023-05-19 07:54:17 +0000 math/lean: Update 3.50.3 → 3.51.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 9574098c71f3..0f969fb9f61b 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.50.3 +DISTVERSION= 3.51.0 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ diff --git a/math/lean/distinfo b/math/lean/distinfo index ab55d9c0fd14..d44207c7230b 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1672195940 -SHA256 (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 00316c946de2aa4f1b6655ea8bd92b21ff184afd305891e6803c7631753f5b87 -SIZE (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 1918462 +TIMESTAMP = 1684476450 +SHA256 (leanprover-community-lean-v3.51.0_GH0.tar.gz) = 32edaa6ee84f8af50a20f55162f0499c4cf196ba0834e93c610da266cd5d1d9a +SIZE (leanprover-community-lean-v3.51.0_GH0.tar.gz) = 1918905 SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202305190754.34J7sLRP082963>