<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/7d56715341ca670c76a0e7f5aaabcbd0e57c5ac3">https://github.com/macports/macports-ports/commit/7d56715341ca670c76a0e7f5aaabcbd0e57c5ac3</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 7d56715341c vampire: update to 2024-05-31
</span>7d56715341c is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 7d56715341ca670c76a0e7f5aaabcbd0e57c5ac3
</span>Author: Sergey Fedorov <barracuda@macos-powerpc.org>
AuthorDate: Thu Jun 6 12:41:40 2024 +0800

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

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/vampire/Portfile b/math/vampire/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index de8dd8a2745..73f9d9f1423 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/vampire/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/vampire/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -6,17 +6,17 @@ PortGroup           github 1.0
</span> 
 # Temporarily remains commit-based until the next release
 # due to important fixes being added by the upstream recently.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        vprover vampire c7564c1d65020771079f29787ca2d5d7743f5d6a
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2024-04-12
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        vprover vampire 1b080631257a403681d1287f87f8d3ac1ee97c63
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2024-05-31
</span> categories          math science
 platforms           darwin freebsd
 maintainers         {landonf @landonf} openmaintainer
 description         Vampire Theorem Prover
 long_description    High performance automated theorem prover.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  8b6bbb22a6bb33a9964a4e0c33ae873334adca0f \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  3dd83968b938c38c36602a745cf6ecc36f74cfb43092e2eb03e2e73f923b80a2 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    1460062
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  e09d316e9fda2479726491f197d8b4edbf5e2e2f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  f0f1ee2bbd10b82e0373a53357572f5f3801568e5c67aaba2fdc5209b8091a34 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1466583
</span> 
 # Vampire is BSD-licensed, embedded minisat is MIT-licensed
 license             BSD MIT
</pre><pre style='margin:0'>

</pre>