<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/b7dd6120387770e4251be66fdb8ce1e1889fb2f8">https://github.com/macports/macports-ports/commit/b7dd6120387770e4251be66fdb8ce1e1889fb2f8</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 b7dd612  science/spot: update to version 2.5.1
</span>b7dd612 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit b7dd6120387770e4251be66fdb8ce1e1889fb2f8
</span>Author: Mark Moll <mmoll@macports.org>
AuthorDate: Mon Mar 5 17:18:24 2018 -0600

<span style='display:block; white-space:pre;color:#404040;'>    science/spot: update to version 2.5.1
</span>---
 science/spot/Portfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 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 f5fe4a8..59afcda 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;'>@@ -2,8 +2,8 @@ PortSystem          1.0
</span> PortGroup           compiler_blacklist_versions 1.0
 
 name                spot
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.5
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2.5.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            0
</span> categories          science math
 maintainers         {mmoll @mamoll} openmaintainer
 description         Spot is an object-oriented model checking library written in C++.
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -12,10 +12,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     c039091c7eca0b1b8a2242c3fbd20191 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    e475107e31874483103a7e01469bfee781a62d6d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  79ae0c30d9974054ac370dec68b1c596aa78888a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  ba419a2e1a972a95646b4f266a829beb2a8536cb63aa18b41b7051cff0d48d61
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           md5     8eb6429b429883cb4fb4e469c5251793 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha1    470a16d966b823e3e6ac1c9d770be5742aaf0a4b \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  41c0ffa1651c0ad351f32f99300ba1140a92d2d7 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  e9aefe2a8f5d42d0474ea8989cdf8e278773f26d9b4ca2de9e01d7697968585f
</span> depends_lib-append  port:boost
 
 # make sure compiler supports C++14
</pre><pre style='margin:0'>

</pre>