<pre style='margin:0'>
Lawrence Velázquez (larryv) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/0da44e8bb2312cac721c592176d3fc7678a3eb82">https://github.com/macports/macports-ports/commit/0da44e8bb2312cac721c592176d3fc7678a3eb82</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 0da44e8  coq: Update to 8.5pl3
</span>0da44e8 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 0da44e8bb2312cac721c592176d3fc7678a3eb82
</span>Author: Lawrence Velázquez <larryv@macports.org>
AuthorDate: Fri Nov 11 17:46:46 2016 -0500

<span style='display:block; white-space:pre;color:#404040;'>    coq: Update to 8.5pl3
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Closes: https://trac.macports.org/ticket/52843
</span>---
 lang/coq/Portfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/coq/Portfile b/lang/coq/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index f0583d9..5f7d1d5 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/coq/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/coq/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,7 +4,7 @@
</span> PortSystem          1.0
 
 name                coq
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             8.5pl2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             8.5pl3
</span> platforms           darwin
 categories          lang math
 license             LGPL-2.1
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -21,8 +21,8 @@ depends_lib         port:ocaml \
</span>                     port:camlp5
 
 master_sites        http://coq.inria.fr/distrib/V${version}/files/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  55ddf2e77b42677c227fd9954789bf12410c63e7 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  83239d1251bf6c54a9ca5045d738e469019b93ca601756bf982aab0654e4de73
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  f8abeb8a24690f9d4e56ec67a1dd1b4d7381d93d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  305b92e05d406d4d0c64f43d4fadb6b89419120a1d4ae4115ed1c5eb8812d33b
</span> 
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
</pre><pre style='margin:0'>

</pre>