diff --git a/math/lean/Makefile b/math/lean/Makefile
index d24589219a48..20b82f037bba 100644
--- a/math/lean/Makefile
+++ b/math/lean/Makefile
@@ -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>
diff --git a/math/lean/distinfo b/math/lean/distinfo
index 89e6582ec32d..375a15e3378b 100644
--- a/math/lean/distinfo
+++ b/math/lean/distinfo
@@ -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
diff --git a/math/lean/pkg-plist b/math/lean/pkg-plist
index 34c6653d272b..4c3527015711 100644
--- a/math/lean/pkg-plist
+++ b/math/lean/pkg-plist
@@ -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