<pre style='margin:0'>
Mark Moll (mamoll) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/96338dac72f4dfb12ecedcc3ca61a4c7fa148e70">https://github.com/macports/macports-ports/commit/96338dac72f4dfb12ecedcc3ca61a4c7fa148e70</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 96338da  science/spot: update to version 2.3.4
</span>96338da is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 96338dac72f4dfb12ecedcc3ca61a4c7fa148e70
</span>Author: Mark Moll <mmoll@macports.org>
AuthorDate: Fri May 12 23:09:14 2017 -0500

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

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/spot/Portfile b/science/spot/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index ffd6a9d..295e63d 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,7 +1,7 @@
</span> PortSystem          1.0
 PortGroup           cxx11 1.0
 name                spot
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.3.3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2.3.4
</span> categories          science math
 maintainers         mmoll openmaintainer
 description         Spot is an object-oriented model checking library written in C++.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -10,10 +10,10 @@ homepage            https://spot.lrde.epita.fr/index.html
</span> platforms           darwin
 license             GPL-3
 master_sites        http://www.lrde.epita.fr/dload/spot/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           md5     75d211b62ff9d7f0ece4aa37833f0728 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    a90a7e0486de80421f67478490d56a8abe8abcfa \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  70006d8a8ac84e9306b89cd11f030651490c0d62 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  1f2250c1039396bb4a18015d9c2b282a681cf617219ff4175b999589450eb13e
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           md5     cbb3cc37306c32e2b2e31e56b4a51379 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha1    b30c3677a7d0f57708abe65a41864d7bdd8b37c0 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  e089bfd0165d5a372e5ed5840fa771fb33c22d9e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  83f39f3e78750116bb8fd160742fef7763e44a708be0d8c6b1cbe87fc93ba1d1
</span> depends_lib-append  port:boost
 
 configure.args-append --disable-python
</pre><pre style='margin:0'>

</pre>