<pre style='margin:0'>
Ken (kencu) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c2726872f6bf9231df5c753caab752550c5b65a3">https://github.com/macports/macports-ports/commit/c2726872f6bf9231df5c753caab752550c5b65a3</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 c2726872f6b lean: new port
</span>c2726872f6b is described below

<span style='display:block; white-space:pre;color:#808000;'>commit c2726872f6bf9231df5c753caab752550c5b65a3
</span>Author: kakuhen <kakuhen@ucla.edu>
AuthorDate: Sun Aug 15 01:07:26 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    lean: new port
</span>---
 math/lean/Portfile | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..3f7172146f8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,31 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           cmake 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        leanprover-community lean 3.32.1 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license             Apache-2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@kakuhen} openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platforms           darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+supported_archs     x86_64 arm64
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description         The Lean theorem prover.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description    A fork of Lean 3 maintained and updated by the Lean \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    community. Lean is a functional programming language that makes it easy to \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    write correct and maintainable code. You can also use Lean as an \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    interactive theorem prover.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib         port:gmp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    rmd160    6b1b8a1134c40ab772e8a3795ae0b29e13a24a22 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    sha256    50c49a426024fa35ee2547f7e82803deecb81fbdc187734da9b0fb56ff54e99f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    size      1873303
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+cmake.build_type    Release
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+cmake.generator     Ninja
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set worksrcdir ${worksrcdir}/src
</span></pre><pre style='margin:0'>

</pre>