<pre style='margin:0'>
Zero King (l2dy) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/04e4c9f3e7a2b87e7a9505f6de400dac0ec18fd8">https://github.com/macports/macports-ports/commit/04e4c9f3e7a2b87e7a9505f6de400dac0ec18fd8</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 04e4c9f clasp: update to 3.3.3
</span>04e4c9f is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 04e4c9f3e7a2b87e7a9505f6de400dac0ec18fd8
</span>Author: Zero King <l2dy@macports.org>
AuthorDate: Sun Nov 12 05:31:56 2017 +0000
<span style='display:block; white-space:pre;color:#404040;'> clasp: update to 3.3.3
</span>---
math/clasp/Portfile | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/clasp/Portfile b/math/clasp/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 19afa20..5d1800b 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/clasp/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/clasp/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -5,7 +5,7 @@ PortGroup github 1.0
</span> PortGroup cmake 1.1
PortGroup cxx11 1.1
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup potassco clasp 3.3.2 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup potassco clasp 3.3.3 v
</span> categories math
platforms darwin
maintainers nomaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -18,9 +18,12 @@ long_description \
</span> The primary clasp algorithm relies on conflict-driven nogood learning, \
a technique that proved very successful for satisfiability checking (SAT).
homepage http://www.cs.uni-potsdam.de/clasp/
<span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from releases
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distname ${name}-${version}-source
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+worksrcdir ${name}-${version}
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums rmd160 d25dfd9f3a3deda28066d35203cd66d95f554469 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 c113c665f5743b7f058614142127e5526978f82965be6480eafb5ca4f61d069d
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 5b0e9c30e5742729cf84ae79785b202b3ff2aa40 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 952d1dd7a0f79a846e0c09a4edc8a03b9bf2f9e33cb67a2ef371257d438910f3
</span>
post-destroot {
xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
</pre><pre style='margin:0'>
</pre>