[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

Mon, 07 Feb 2022 01:57:37 -0800 

commit:     ee9179423d62240ec33f0bb32d24c640169afbf3
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Feb  7 09:57:19 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Feb  7 09:57:19 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ee917942

sci-mathematics/why3-for-spark: duplicate deps

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild 
b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
index 7b43ab3763ab..7988788f83af 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
@@ -29,7 +29,6 @@ DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
        doc? (
                dev-tex/rubber
                dev-python/sphinx
-               dev-python/sphinxcontrib-bibtex
                media-gfx/graphviz
                dev-python/sphinxcontrib-bibtex
        )

Reply via email to