svn commit: r475152 - head/math/lean

[Yuri Victorovich]

Author: yuri
Date: Mon Jul 23 07:49:05 2018
New Revision: 475152
URL: https://svnweb.freebsd.org/changeset/ports/475152

Log:
  math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)

Modified:
  head/math/lean/Makefile
  head/math/lean/distinfo

Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile	Mon Jul 23 07:34:14 2018	(r475151)
+++ head/math/lean/Makefile	Mon Jul 23 07:49:05 2018	(r475152)
@@ -2,8 +2,7 @@
 
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.2.0-1147
-DISTVERSIONSUFFIX=	-gceacfa744
+DISTVERSION=	3.4.1
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -17,7 +16,7 @@ LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		cmake:outsource
 USE_GITHUB=	yes
-GH_ACCOUNT=	leodemoura
+GH_ACCOUNT=	leanprover
 USE_LDCONFIG=	yes
 
 WRKSRC_SUBDIR=	src

Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo	Mon Jul 23 07:34:14 2018	(r475151)
+++ head/math/lean/distinfo	Mon Jul 23 07:49:05 2018	(r475152)
@@ -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