<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/46715e46251e2a4117913eee363a03ec0db5cdd0">https://github.com/macports/macports-ports/commit/46715e46251e2a4117913eee363a03ec0db5cdd0</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 46715e46251 boolector: fix build on <10.11 Fixes: https://trac.macports.org/ticket/66609
</span>46715e46251 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 46715e46251e2a4117913eee363a03ec0db5cdd0
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Tue Jan 3 11:38:11 2023 +0700

<span style='display:block; white-space:pre;color:#404040;'>    boolector: fix build on <10.11
</span><span style='display:block; white-space:pre;color:#404040;'>    Fixes: https://trac.macports.org/ticket/66609
</span>---
 math/boolector/Portfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/boolector/Portfile b/math/boolector/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 76640a17067..2d99383c28a 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/boolector/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/boolector/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,8 +1,12 @@
</span> # -*- 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 style='display:block; white-space:pre;background:#ffe0e0;'>-PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span> PortGroup           cmake 1.1
 PortGroup           github 1.0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           legacysupport 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# MAP_ANONYMOUS
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+legacysupport.newest_darwin_requires_legacy 14
</span> 
 github.setup        Boolector boolector 3.2.2
 revision            0
</pre><pre style='margin:0'>

</pre>