<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/25ba14f9cac94d50408d2a8b7c15c9d4b963fb87">https://github.com/macports/macports-ports/commit/25ba14f9cac94d50408d2a8b7c15c9d4b963fb87</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 25ba14f9cac lean: update to 3.51.1
</span>25ba14f9cac is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 25ba14f9cac94d50408d2a8b7c15c9d4b963fb87
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Tue Sep 3 17:54:37 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    lean: update to 3.51.1
</span>---
 math/lean/Portfile | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index a9f229fe370..06024f7f1db 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -5,14 +5,12 @@ PortGroup           cmake 1.1
</span> PortGroup           github 1.0
 PortGroup           compiler_blacklist_versions 1.0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        leanprover-community lean 3.50.3 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        leanprover-community lean 3.51.1 v
</span> revision            0
 
 categories          math
 license             Apache-2
 maintainers         {@kakuhen} openmaintainer
<span style='display:block; white-space:pre;background:#ffe0e0;'>-platforms           darwin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-supported_archs     x86_64 arm64
</span> description         The Lean theorem prover.
 long_description    A fork of Lean 3 maintained and updated by the Lean \
     community. Lean is a functional programming language that makes it easy to \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -21,9 +19,10 @@ long_description    A fork of Lean 3 maintained and updated by the Lean \
</span> 
 depends_lib-append  port:gmp
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  97407c039a0099caf6b38342b32d59a2980a115c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  0e66ce9b77857640c56c6b45e0d84683ea1edc1713d2ab531394c7a6b348d5e8 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    1918719
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  6fd7bd6c78b8988c41ee32526b1c5b6b26b0fba5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1918894
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span> 
 # use older MACH defines on systems before 10.8
 patchfiles          patch-lean-util-memory-older-MACH-defines.diff
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -36,7 +35,6 @@ set worksrcdir      ${worksrcdir}/src
</span> compiler.cxx_standard           2011
 compiler.thread_local_storage   yes
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span> #src/frontends/lean/widget.cpp:436:24: error: use of overloaded operator '+=' is ambiguous (with operand types 'std::string' (aka 'basic_string<char, char_traits<char>, allocator<char> >') and 'lean::json' (aka 'basic_json<>'))
 #                    cn += value;
 #                    ~~ ^  ~~~~~
</pre><pre style='margin:0'>

</pre>