<pre style='margin:0'>
Mojca Miklavec (mojca) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c9e5ad1deb88a4d4a4eca55ca759ae203200c95d">https://github.com/macports/macports-ports/commit/c9e5ad1deb88a4d4a4eca55ca759ae203200c95d</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit c9e5ad1deb88a4d4a4eca55ca759ae203200c95d
</span>Author: Perry E. Metzger <perry@piermont.com>
AuthorDate: Sun Nov 19 09:36:18 2017 -0500

<span style='display:block; white-space:pre;color:#404040;'>    coq: update to 8.7.0
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    * update to 8.7.0
</span><span style='display:block; white-space:pre;color:#404040;'>    * update my maintainer line to include my github handle
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Note that this update depends on the update of ocaml to 4.05.0, as
</span><span style='display:block; white-space:pre;color:#404040;'>    well as the updates of findlib, camlp5, etc.
</span>---
 lang/coq/Portfile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 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 0f62d83..6b7345a 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;'>@@ -3,25 +3,27 @@
</span> PortSystem          1.0
 
 name                coq
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             8.5pl3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             8.7.0
</span> platforms           darwin
 categories          lang math
 license             LGPL-2.1
<span style='display:block; white-space:pre;background:#ffe0e0;'>-maintainers         piermont.com:perry openmaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@pmetzger piermont.com:perry} openmaintainer
</span> 
 description         Proof assistant for higher-order logic
 long_description    Coq is a proof assistant for higher-order logic, \
                     which allows the development of computer programs \
                     consistent with their formal specification. It is \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    developed using Objective Caml and Camlp4.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    developed using OCaml and Camlp4.
</span> homepage            https://coq.inria.fr/
 
 depends_lib         port:ocaml \
                     port:camlp5
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build       port:ocaml-findlib
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> master_sites        http://coq.inria.fr/distrib/V${version}/files/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  f8abeb8a24690f9d4e56ec67a1dd1b4d7381d93d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  305b92e05d406d4d0c64f43d4fadb6b89419120a1d4ae4115ed1c5eb8812d33b
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  7e752473b27a2d1a0f95ea3eb258ffba5a5a8d4f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  f376207ed051b3fd27c519f44b25eb25f8dddbce22715f68c3cedfd2e4b39297
</span> 
 configure.pre_args  -prefix ${prefix}
 configure.args      -emacslib ${prefix}/share/emacs/site-lisp/ \
</pre><pre style='margin:0'>

</pre>