<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>