Date: Sat, 12 Mar 2022 20:23:31 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e1f09154ec27 - main - math/lean: Update 3.40.0 -> 3.41.0 Message-ID: <202203122023.22CKNVgL037901@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202203122023.22CKNVgL037901>