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

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/49153b2dcf81125f67c2bff6aa041aae334be14a">https://github.com/macports/macports-ports/commit/49153b2dcf81125f67c2bff6aa041aae334be14a</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 49153b2dcf8 boolector: update to 3.2.4
</span>49153b2dcf8 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 49153b2dcf81125f67c2bff6aa041aae334be14a
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Tue Sep 3 18:16:48 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    boolector: update to 3.2.4
</span>---
 math/boolector/Portfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

<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 ad3c656141e..0b051f7e5ea 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;'>@@ -8,11 +8,11 @@ PortGroup           legacysupport 1.1
</span> # MAP_ANONYMOUS
 legacysupport.newest_darwin_requires_legacy 14
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        Boolector boolector 3.2.3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        Boolector boolector 3.2.4
</span> revision            0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  ce30cb0839963ddbd4e08fb16c1f7b1b6dae94d7 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    1566566
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  54ab027f50bf0ab14213e325ca5a2528c059a0e6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1567983
</span> 
 categories          math science
 license             MIT
</pre><pre style='margin:0'>

</pre>