<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/bd6c7c563fee9966a90b7f318a023ff870838a6f">https://github.com/macports/macports-ports/commit/bd6c7c563fee9966a90b7f318a023ff870838a6f</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 bd6c7c563fe coq: remove py-oset build dep from doc variant
</span>bd6c7c563fe is described below

<span style='display:block; white-space:pre;color:#808000;'>commit bd6c7c563fee9966a90b7f318a023ff870838a6f
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Sat Oct 15 07:13:26 2022 +1100

<span style='display:block; white-space:pre;color:#404040;'>    coq: remove py-oset build dep from doc variant
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    Doesn't seem to be needed any more.
</span>---
 lang/coq/Portfile | 1 -
 1 file changed, 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 ab1a5e5bd29..3963ae6241e 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;'>@@ -62,7 +62,6 @@ variant doc description {Build documentation} {
</span>                             port:py${_pyversion}-antlr4-python3-runtime \
                             port:py${_pyversion}-beautifulsoup4 \
                             port:py${_pyversion}-sphinxcontrib-bibtex \
<span style='display:block; white-space:pre;background:#ffe0e0;'>-                            port:py${_pyversion}-oset \
</span>                             port:py${_pyversion}-pexpect
     configure.args-delete   -with-doc no
     configure.args-append   -with-doc yes
</pre><pre style='margin:0'>

</pre>