Date: Sat, 31 Oct 2020 07:27:06 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r553737 - head/math/lean Message-ID: <202010310727.09V7R65V001940@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sat Oct 31 07:27:06 2020 New Revision: 553737 URL: https://svnweb.freebsd.org/changeset/ports/553737 Log: math/lean: Update 3.22.0 -> 3.23.0 Reported by: portscout Modified: head/math/lean/Makefile head/math/lean/distinfo Modified: head/math/lean/Makefile ============================================================================== --- head/math/lean/Makefile Sat Oct 31 07:17:45 2020 (r553736) +++ head/math/lean/Makefile Sat Oct 31 07:27:06 2020 (r553737) @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.22.0 +DISTVERSION= 3.23.0 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} Modified: head/math/lean/distinfo ============================================================================== --- head/math/lean/distinfo Sat Oct 31 07:17:45 2020 (r553736) +++ head/math/lean/distinfo Sat Oct 31 07:27:06 2020 (r553737) @@ -1,3 +1,3 @@ -TIMESTAMP = 1603843184 -SHA256 (leanprover-community-lean-v3.22.0_GH0.tar.gz) = f348c96661b0f299febb1d31c1254b342609163ebcc50d9a6a336c40c7da7e10 -SIZE (leanprover-community-lean-v3.22.0_GH0.tar.gz) = 1855685 +TIMESTAMP = 1604128105 +SHA256 (leanprover-community-lean-v3.23.0_GH0.tar.gz) = f77831bf3f31cbc4b4dbe44e1b84252624d138045ddb03d3575db8998e71f540 +SIZE (leanprover-community-lean-v3.23.0_GH0.tar.gz) = 1858631
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202010310727.09V7R65V001940>