svn commit: r560437 - head/math/lean

[Yuri Victorovich]

Author: yuri
Date: Tue Jan  5 22:09:23 2021
New Revision: 560437
URL: https://svnweb.freebsd.org/changeset/ports/560437

Log:
  math/lean: Update 3.23.0 -> 3.24.0
  
  Reported by:	portscout

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

Modified: head/math/lean/Makefile
==============================================================================
--- head/math/lean/Makefile	Tue Jan  5 22:08:55 2021	(r560436)
+++ head/math/lean/Makefile	Tue Jan  5 22:09:23 2021	(r560437)
@@ -2,9 +2,8 @@
 
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.23.0
+DISTVERSION=	3.24.0
 CATEGORIES=	math
-PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri at FreeBSD.org
 COMMENT=	Theorem prover

Modified: head/math/lean/distinfo
==============================================================================
--- head/math/lean/distinfo	Tue Jan  5 22:08:55 2021	(r560436)
+++ head/math/lean/distinfo	Tue Jan  5 22:09:23 2021	(r560437)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1604128105
-SHA256 (leanprover-community-lean-v3.23.0_GH0.tar.gz) = f77831bf3f31cbc4b4dbe44e1b84252624d138045ddb03d3575db8998e71f540
-SIZE (leanprover-community-lean-v3.23.0_GH0.tar.gz) = 1858631
+TIMESTAMP = 1609882303
+SHA256 (leanprover-community-lean-v3.24.0_GH0.tar.gz) = 1f159daff229de090524dba8649276786aa15f84e006e0ca104d9d36f9dbc1d7
+SIZE (leanprover-community-lean-v3.24.0_GH0.tar.gz) = 1860634