Date: Wed, 28 Dec 2022 04:06:58 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: d4456ccb7b93 - main - math/lean: Update 3.50.2 -> 3.50.3 Message-ID: <202212280406.2BS46whd029744@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=d4456ccb7b93a54c42733319a260cbf4a0f7588c commit d4456ccb7b93a54c42733319a260cbf4a0f7588c Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-12-28 04:01:50 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-12-28 04:01:50 +0000 math/lean: Update 3.50.2 -> 3.50.3 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 0fe875a92def..dcd1ef711202 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.50.2 +DISTVERSION= 3.50.3 CATEGORIES= math PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ diff --git a/math/lean/distinfo b/math/lean/distinfo index 94f60a94d254..ab55d9c0fd14 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1671926257 -SHA256 (leanprover-community-lean-v3.50.2_GH0.tar.gz) = 57d4bdab94a4ad6fe1c252be0d49ff9522a3baaa5280a606d86ceeb955873f80 -SIZE (leanprover-community-lean-v3.50.2_GH0.tar.gz) = 1918353 +TIMESTAMP = 1672195940 +SHA256 (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 00316c946de2aa4f1b6655ea8bd92b21ff184afd305891e6803c7631753f5b87 +SIZE (leanprover-community-lean-v3.50.3_GH0.tar.gz) = 1918462 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?202212280406.2BS46whd029744>