svn commit: r568590 - head/math/lean

[Yuri Victorovich]

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 at 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