svn commit: r491029 - head/math/lean

[Yuri Victorovich]

Author: yuri
Date: Wed Jan 23 09:59:54 2019
New Revision: 491029
URL: https://svnweb.freebsd.org/changeset/ports/491029

Log:
  math/lean: Update 3.4.1 -> 3.4.2
  
  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	Wed Jan 23 09:40:12 2019	(r491028)
+++ head/math/lean/Makefile	Wed Jan 23 09:59:54 2019	(r491029)
@@ -2,7 +2,7 @@
 
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.4.1
+DISTVERSION=	3.4.2
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -21,6 +21,6 @@ USE_LDCONFIG=	yes
 
 WRKSRC_SUBDIR=	src
 
-PORTSCOUT=	limit:.*[0-9]*\.[0-9]*$$
+PORTSCOUT=	limit:.*[0-9]+\.[0-9]+$$
 
 .include <bsd.port.mk>

Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo	Wed Jan 23 09:40:12 2019	(r491028)
+++ head/math/lean/distinfo	Wed Jan 23 09:59:54 2019	(r491029)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1532330618
-SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
-SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434
+TIMESTAMP = 1548236438
+SHA256 (leanprover-lean-v3.4.2_GH0.tar.gz) = ec4488be8473577666f38dec81123d0f7b26476139d3caa2e175a571f6c00d87
+SIZE (leanprover-lean-v3.4.2_GH0.tar.gz) = 1807616

Modified: head/math/lean/pkg-plist
==============================================================================
--- head/math/lean/pkg-plist	Wed Jan 23 09:40:12 2019	(r491028)
+++ head/math/lean/pkg-plist	Wed Jan 23 09:59:54 2019	(r491029)
@@ -683,8 +683,6 @@ lib/lean/library/init/meta/attribute.lean
 lib/lean/library/init/meta/attribute.olean
 lib/lean/library/init/meta/backward.lean
 lib/lean/library/init/meta/backward.olean
-lib/lean/library/init/meta/coinductive_predicates.lean
-lib/lean/library/init/meta/coinductive_predicates.olean
 lib/lean/library/init/meta/comp_value_tactics.lean
 lib/lean/library/init/meta/comp_value_tactics.olean
 lib/lean/library/init/meta/congr_lemma.lean
@@ -783,16 +781,12 @@ lib/lean/library/init/meta/tactic.lean
 lib/lean/library/init/meta/tactic.olean
 lib/lean/library/init/meta/task.lean
 lib/lean/library/init/meta/task.olean
-lib/lean/library/init/meta/transfer.lean
-lib/lean/library/init/meta/transfer.olean
 lib/lean/library/init/meta/vm.lean
 lib/lean/library/init/meta/vm.olean
 lib/lean/library/init/meta/well_founded_tactics.lean
 lib/lean/library/init/meta/well_founded_tactics.olean
 lib/lean/library/init/propext.lean
 lib/lean/library/init/propext.olean
-lib/lean/library/init/relator.lean
-lib/lean/library/init/relator.olean
 lib/lean/library/init/util.lean
 lib/lean/library/init/util.olean
 lib/lean/library/init/version.lean