lean: update to 3.51.1

math/lean/Portfile

@@ -5,14 +5,12 @@ PortGroup           cmake 1.1
 PortGroup           github 1.0
 PortGroup           compiler_blacklist_versions 1.0
 
-github.setup        leanprover-community lean 3.50.3 v
+github.setup        leanprover-community lean 3.51.1 v
 revision            0
 
 categories          math
 license             Apache-2
 maintainers         {@kakuhen} openmaintainer
-platforms           darwin
-supported_archs     x86_64 arm64
 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 \
@@ -21,9 +19,10 @@ long_description    A fork of Lean 3 maintained and updated by the Lean \
 
 depends_lib-append  port:gmp
 
-checksums           rmd160  97407c039a0099caf6b38342b32d59a2980a115c \
-                    sha256  0e66ce9b77857640c56c6b45e0d84683ea1edc1713d2ab531394c7a6b348d5e8 \
-                    size    1918719
+checksums           rmd160  6fd7bd6c78b8988c41ee32526b1c5b6b26b0fba5 \
+                    sha256  5a4734bf345d6c5ba6eacd2d33d86d9540eea7d008b4ebf8dde126e729fcbcaf \
+                    size    1918894
+github.tarball_from archive
 
 # use older MACH defines on systems before 10.8
 patchfiles          patch-lean-util-memory-older-MACH-defines.diff
@@ -36,7 +35,6 @@ set worksrcdir      ${worksrcdir}/src
 compiler.cxx_standard           2011
 compiler.thread_local_storage   yes
 
-
 #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;
 #                    ~~ ^  ~~~~~