Date: Tue, 16 Mar 2021 17:14:39 +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: r568590 - head/math/lean Message-ID: <202103161714.12GHEd5M017998@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Tue Mar 16 17:14:39 2021 New Revision: 568590 URL: https://svnweb.freebsd.org/changeset/ports/568590 Log: math/lean: Update 3.27.0 -> 3.28.0 Reported by: portscout Modified: head/math/lean/Makefile head/math/lean/distinfo Modified: head/math/lean/Makefile ============================================================================== --- head/math/lean/Makefile Tue Mar 16 17:13:55 2021 (r568589) +++ head/math/lean/Makefile Tue Mar 16 17:14:39 2021 (r568590) @@ -2,7 +2,7 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.27.0 +DISTVERSION= 3.28.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org Modified: head/math/lean/distinfo ============================================================================== --- head/math/lean/distinfo Tue Mar 16 17:13:55 2021 (r568589) +++ head/math/lean/distinfo Tue Mar 16 17:14:39 2021 (r568590) @@ -1,3 +1,3 @@ -TIMESTAMP = 1614358220 -SHA256 (leanprover-community-lean-v3.27.0_GH0.tar.gz) = b6e453f44a5a353d7b7ad807ba13f87735ee51c913e2aff1113fc35dfe8dc214 -SIZE (leanprover-community-lean-v3.27.0_GH0.tar.gz) = 1868861 +TIMESTAMP = 1615913985 +SHA256 (leanprover-community-lean-v3.28.0_GH0.tar.gz) = dbd16d919a2b5e1be4ff63667ceb56b24491d8594a2eebe05b7f9b512fc8a528 +SIZE (leanprover-community-lean-v3.28.0_GH0.tar.gz) = 1869924
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202103161714.12GHEd5M017998>