git: e1f09154ec27 - main - math/lean: Update 3.40.0 -> 3.41.0

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=e1f09154ec27b7e92779c9a1fe4bbff0e6068e28

commit e1f09154ec27b7e92779c9a1fe4bbff0e6068e28
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-03-12 19:46:48 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-03-12 20:23:27 +0000

    math/lean: Update 3.40.0 -> 3.41.0
    
    Reported by:    portscout
---
 math/lean/Makefile  | 2 +-
 math/lean/distinfo  | 6 +++---
 math/lean/pkg-plist | 3 +++
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/math/lean/Makefile b/math/lean/Makefile
index 8d7dde1d0b1e..1ec03c9deaee 100644
--- a/math/lean/Makefile
+++ b/math/lean/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.40.0
+DISTVERSION=	3.41.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/lean/distinfo b/math/lean/distinfo
index 0b58c4f54f3c..5dc97b322c06 100644
--- a/math/lean/distinfo
+++ b/math/lean/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1645633856
-SHA256 (leanprover-community-lean-v3.40.0_GH0.tar.gz) = 955496d97b2193fea3609a3f3f7ad9cab6413e0d0ea6c1a03d6c1656a2ec08ef
-SIZE (leanprover-community-lean-v3.40.0_GH0.tar.gz) = 1878547
+TIMESTAMP = 1647111564
+SHA256 (leanprover-community-lean-v3.41.0_GH0.tar.gz) = 1147d5cc990ea1d8c3a39df8e895a6401b12fe545dac984206fc024db3650f69
+SIZE (leanprover-community-lean-v3.41.0_GH0.tar.gz) = 1905966
diff --git a/math/lean/pkg-plist b/math/lean/pkg-plist
index 0ab8e3de6fee..170a58fed99e 100644
--- a/math/lean/pkg-plist
+++ b/math/lean/pkg-plist
@@ -151,6 +151,7 @@ include/lean_ext/library/expr_lt.h
 include/lean_ext/library/expr_pair.h
 include/lean_ext/library/expr_pair_maps.h
 include/lean_ext/library/expr_unsigned_map.h
+include/lean_ext/library/feature_search.h
 include/lean_ext/library/fingerprint.h
 include/lean_ext/library/fun_info.h
 include/lean_ext/library/handle.h
@@ -194,6 +195,7 @@ include/lean_ext/library/phashtable.h
 include/lean_ext/library/pipe.h
 include/lean_ext/library/placeholder.h
 include/lean_ext/library/pp_options.h
+include/lean_ext/library/predict/predict.h
 include/lean_ext/library/print.h
 include/lean_ext/library/private.h
 include/lean_ext/library/process.h
@@ -509,6 +511,7 @@ lib/lean/library/init/meta/environment.lean
 lib/lean/library/init/meta/exceptional.lean
 lib/lean/library/init/meta/expr.lean
 lib/lean/library/init/meta/expr_address.lean
+lib/lean/library/init/meta/feature_search.lean
 lib/lean/library/init/meta/float.lean
 lib/lean/library/init/meta/format.lean
 lib/lean/library/init/meta/fun_info.lean