diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 10:54:50 +0100 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2022-02-07 10:55:25 +0100 |
commit | c4284123349e1f898877a81d497bbaf1569cccfa (patch) | |
tree | 07f4ea2be1affba31ba1a5ab52400d63305bc903 /sci-mathematics | |
parent | dev-lang/ruby-2.7.5: fix sed-statement for Darwin (diff) | |
download | gentoo-c4284123349e1f898877a81d497bbaf1569cccfa.tar.gz gentoo-c4284123349e1f898877a81d497bbaf1569cccfa.tar.bz2 gentoo-c4284123349e1f898877a81d497bbaf1569cccfa.zip |
sci-mathematics/why3-for-spark: fix doc deps
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
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 8fd579c6c8d4..7b43ab3763ab 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -29,6 +29,7 @@ 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 ) |