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