<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/08b8261a26823c2697b6890385c632ec17e819b7">https://github.com/macports/macports-ports/commit/08b8261a26823c2697b6890385c632ec17e819b7</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 08b8261a26823c2697b6890385c632ec17e819b7
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Tue Feb 20 02:48:10 2024 +0800

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

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/btor2tools/Portfile b/math/btor2tools/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 0b440b45d75..48403bc133e 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/btor2tools/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/btor2tools/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,12 +4,12 @@ PortSystem          1.0
</span> PortGroup           cmake 1.1
 PortGroup           github 1.0
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        Boolector btor2tools b8456dda4780789e882f5791eb486f295ade4da4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             20220518
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        Boolector btor2tools 037f1fa88fb439dca6f648ad48a3463256d69d8b
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             20230816
</span> revision            0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  f262a451b1f0ebc20a233ef60e0e0e334f6f73d6 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  dbd22054dbeb17754867fc4666ef9c89c1906df490ac58f2ecb52f8ee0e9864b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    87420
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  7c07ffdf1bd566088c77549e7cf7378e4dada538 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  d6a5836b9e26719c3b7fe1711d93d86ca4720dc9d4bac11d1fc006fa0a140965 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    87405
</span> 
 categories          math science
 license             MIT
</pre><pre style='margin:0'>

</pre>