<pre style='margin:0'>
Perry E. Metzger (pmetzger) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/e53328c7124467d052cb0a8c89f4c058f29ed68b">https://github.com/macports/macports-ports/commit/e53328c7124467d052cb0a8c89f4c058f29ed68b</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 e53328c  coq: add dependency on ocaml-num
</span>e53328c is described below

<span style='display:block; white-space:pre;color:#808000;'>commit e53328c7124467d052cb0a8c89f4c058f29ed68b
</span>Author: Perry E. Metzger <perry@piermont.com>
AuthorDate: Wed Oct 10 14:49:20 2018 -0400

<span style='display:block; white-space:pre;color:#404040;'>    coq: add dependency on ocaml-num
</span>---
 lang/coq/Portfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

<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 7614037..ad6e957 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,6 +4,7 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 github.setup        coq coq 8.8.2 V
<span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            1
</span> platforms           darwin
 categories          lang math
 license             LGPL-2.1
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -17,7 +18,8 @@ long_description    Coq is a proof assistant for higher-order logic, \
</span> homepage            https://coq.inria.fr/
 
 depends_lib         port:ocaml \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:camlp5
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:camlp5 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:ocaml-num
</span> 
 depends_build       port:ocaml-findlib
 
</pre><pre style='margin:0'>

</pre>