<pre style='margin:0'>
Renee Otten (reneeotten) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/fd395f9cd626771732a4a6f9ccdccd18eba88407">https://github.com/macports/macports-ports/commit/fd395f9cd626771732a4a6f9ccdccd18eba88407</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit fd395f9cd626771732a4a6f9ccdccd18eba88407
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Wed Apr 17 23:52:37 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    vampire: non-functional changes and add myself as a co-maintainer
</span>---
 math/vampire/Portfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 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 468e6da63f3..de8dd8a2745 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;'>@@ -1,12 +1,11 @@
</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
 
 PortSystem          1.0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup           github 1.0
</span> PortGroup           cmake 1.1
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-# Until a new release is published under the 3-clause BSD license, we have to
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# track the development branch; as of this writing, the last stable
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# release (4.5.1) was made under the previous, restricted-use license.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Temporarily remains commit-based until the next release
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# due to important fixes being added by the upstream recently.
</span> github.setup        vprover vampire c7564c1d65020771079f29787ca2d5d7743f5d6a
 version             2024-04-12
 categories          math science
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -46,6 +45,7 @@ configure.optflags
</span> 
 variant debug description {Enable the debug build configuration} {
     cmake.build_type    Debug
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>     test.run            yes
 }
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -82,8 +82,8 @@ variant profile description {Generate instrumented code that may be used for pro
</span>     ${name} has been built with profiling instrumentation enabled; note\
     that this will introduce non-negligible runtime overhead.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    To generate profile data, specify an output path by setting the\
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-    LLVM_PROFILE_FILE environment variable before executing vampire.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    To generate profile data, specify an output path by setting\
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    the LLVM_PROFILE_FILE environment variable before executing vampire.
</span>     "
 }
 
</pre><pre style='margin:0'>

</pre>