<pre style='margin:0'>
Rainer Müller (raimue) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/65c5922094fcd389101a903eddf55b30bf0ea3af">https://github.com/macports/macports-ports/commit/65c5922094fcd389101a903eddf55b30bf0ea3af</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 65c5922  Maude: Update to version 2.7.1
</span>65c5922 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 65c5922094fcd389101a903eddf55b30bf0ea3af
</span>Author: Rainer Müller <raimue@macports.org>
AuthorDate: Wed Jun 13 14:41:23 2018 +0200

<span style='display:block; white-space:pre;color:#404040;'>    Maude: Update to version 2.7.1
</span>---
 lang/Maude/Portfile | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/Maude/Portfile b/lang/Maude/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index a5188fd..628cb3e 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/Maude/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/Maude/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -3,7 +3,7 @@
</span> PortSystem          1.0
 
 name                Maude
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2.6
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2.7.1
</span> categories          lang
 platforms           darwin
 maintainers         nomaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -20,18 +20,21 @@ long_description    ${name} is a ${description} for a wide range of \
</span>                     equational specification and programming, Maude also \
                     supports rewriting logic computation.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage            http://maude.cs.uiuc.edu/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites        ${homepage}download/current/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            http://maude.cs.illinois.edu
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+master_sites        http://maude.cs.illinois.edu/w/images/d/d8/
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           sha1    3f1ec2f39a22942bb096102d1d8d6eed4510483e \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  a9387701016e04ba4a256c3db8c9f10195147183
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           sha1    3a1b0b4d46cdafe326fa0fed3d3b6c3fed7468a0 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  9b323056b9b3fa287d3db48ef131fdf91cd7f6e5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  b1887c7fa75e85a1526467727242f77b5ec7cd6a5dfa4ceb686b6f545bb1534b \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1853963
</span> 
 depends_build       port:bison \
                     port:flex
 
 depends_lib         port:gmp \
                     port:libsigsegv \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:buddy
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:buddy \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:cvc4
</span> 
 patchfiles          patch-src-Mixfix-Makefile.in.diff
 
</pre><pre style='margin:0'>

</pre>