<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/3f4ebfc3b69cfd8e3034048e845af18ab13bb8cc">https://github.com/macports/macports-ports/commit/3f4ebfc3b69cfd8e3034048e845af18ab13bb8cc</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 3f4ebfc science/spot: update to version 2.4.2
</span>3f4ebfc is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 3f4ebfc3b69cfd8e3034048e845af18ab13bb8cc
</span>Author: Mark Moll <mmoll@macports.org>
AuthorDate: Mon Nov 27 11:17:15 2017 -0600
<span style='display:block; white-space:pre;color:#404040;'> science/spot: update to version 2.4.2
</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 4e5cec5..7263acc 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.4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 2.4.2
</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 2ec274f6a842365decf31729222c6f88 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha1 7370cfa56bfa213de85679eb612a4aadf7832316 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- rmd160 7e82f7192aa36acf88cfffa9878f97d098c1a369 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 18f12ec686292dd88f70c6396af96486521e2c0a8dc1e8d747aa6556adcb887f
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums md5 199a1e21cf27e139abcc54e55182b7f6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha1 1bb2ea79ee044043767b8ba7649e7f39d086eb77 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rmd160 c6a0f3eb829c5ddaaf3949530d527c09da1b8a6e \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 6831aee6c0b15cc3221c6ba079e3ac1b50aebf3bfa0b28e63d46ea72081af7a0
</span> depends_lib-append port:boost
# make sure compiler supports C++14
</pre><pre style='margin:0'>
</pre>