Index: head/math/lean/Makefile
===================================================================
--- head/math/lean/Makefile	(revision 475151)
+++ head/math/lean/Makefile	(revision 475152)
@@ -1,25 +1,24 @@
 # $FreeBSD$
 
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.2.0-1147
-DISTVERSIONSUFFIX=	-gceacfa744
+DISTVERSION=	3.4.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Theorem prover
 
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/../LICENSE
 
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		cmake:outsource
 USE_GITHUB=	yes
-GH_ACCOUNT=	leodemoura
+GH_ACCOUNT=	leanprover
 USE_LDCONFIG=	yes
 
 WRKSRC_SUBDIR=	src
 
 .include <bsd.port.mk>
Index: head/math/lean/distinfo
===================================================================
--- head/math/lean/distinfo	(revision 475151)
+++ head/math/lean/distinfo	(revision 475152)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1532233323
-SHA256 (leodemoura-lean-v3.2.0-1147-gceacfa744_GH0.tar.gz) = cbb1fceae4b1876e135f20ec3d1c91816ffec6e84613ba4fa37fa39c96f61c86
-SIZE (leodemoura-lean-v3.2.0-1147-gceacfa744_GH0.tar.gz) = 1817180
+TIMESTAMP = 1532330618
+SHA256 (leanprover-lean-v3.4.1_GH0.tar.gz) = c146385e75ae8fbd88732d4443400123288bfea885c35c213efaba78b655d320
+SIZE (leanprover-lean-v3.4.1_GH0.tar.gz) = 1816434