<pre style='margin:0'>
Zero King (l2dy) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/eab29681c89309d626037d1952fd9b862bd624c3">https://github.com/macports/macports-ports/commit/eab29681c89309d626037d1952fd9b862bd624c3</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 eab2968  coq: fix livecheck
</span>eab2968 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit eab29681c89309d626037d1952fd9b862bd624c3
</span>Author: Zero King <l2dy@macports.org>
AuthorDate: Wed Oct 18 06:50:46 2017 +0000

<span style='display:block; white-space:pre;color:#404040;'>    coq: fix livecheck
</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 c0691b0..0f62d83 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;'>@@ -14,7 +14,7 @@ long_description    Coq is a proof assistant for higher-order logic, \
</span>                     which allows the development of computer programs \
                     consistent with their formal specification. It is \
                     developed using Objective Caml and Camlp4.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage            http://coq.inria.fr/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            https://coq.inria.fr/
</span> 
 depends_lib         port:ocaml \
                     port:camlp5
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -61,5 +61,5 @@ variant coqide description {Install CoqIDE} {
</span> }
 
 livecheck.type      regex
<span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.url       ${homepage}/download/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.regex     "<a href=\"distrib/V(\\d+(?:\\.\\w+)*)/files/coq-\\1\\.tar\\.gz\">"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+livecheck.url       ${homepage}download
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+livecheck.regex     "<a href=\"https://github.com/coq/coq/releases/tag/V(\\d+(?:\\.\\w+)*)\">"
</span></pre><pre style='margin:0'>

</pre>