svn commit: r566620 - head/math/lean

[Yuri Victorovich]

Author: yuri
Date: Fri Feb 26 17:07:45 2021
New Revision: 566620
URL: https://svnweb.freebsd.org/changeset/ports/566620

Log:
  math/lean: Update 3.26.0 -> 3.27.0
  
  Reported by:	portscout

Modified:
  head/math/lean/Makefile
  head/math/lean/distinfo
  head/math/lean/pkg-plist

Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile	Fri Feb 26 16:49:57 2021	(r566619)
+++ head/math/lean/Makefile	Fri Feb 26 17:07:45 2021	(r566620)
@@ -2,7 +2,7 @@
 
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.26.0
+DISTVERSION=	3.27.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri at FreeBSD.org

Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo	Fri Feb 26 16:49:57 2021	(r566619)
+++ head/math/lean/distinfo	Fri Feb 26 17:07:45 2021	(r566620)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1611872673
-SHA256 (leanprover-community-lean-v3.26.0_GH0.tar.gz) = af87da8900df53b2cbc68fa6681d501967fc8fc116ebc58fe10d7a04e982a89d
-SIZE (leanprover-community-lean-v3.26.0_GH0.tar.gz) = 1863155
+TIMESTAMP = 1614358220
+SHA256 (leanprover-community-lean-v3.27.0_GH0.tar.gz) = b6e453f44a5a353d7b7ad807ba13f87735ee51c913e2aff1113fc35dfe8dc214
+SIZE (leanprover-community-lean-v3.27.0_GH0.tar.gz) = 1868861

Modified: head/math/lean/pkg-plist
==============================================================================
--- head/math/lean/pkg-plist	Fri Feb 26 16:49:57 2021	(r566619)
+++ head/math/lean/pkg-plist	Fri Feb 26 17:07:45 2021	(r566620)
@@ -262,6 +262,7 @@ include/lean_ext/library/tactic/vm_local_context.h
 include/lean_ext/library/tactic/vm_monitor.h
 include/lean_ext/library/tactic/vm_type_context.h
 include/lean_ext/library/time_task.h
+include/lean_ext/library/tlean_exporter.h
 include/lean_ext/library/trace.h
 include/lean_ext/library/type_context.h
 include/lean_ext/library/typed_expr.h