<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>