Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/
Date: Mon, 07 Feb 2022 09:55:39
Message-Id: 1644227725.c4284123349e1f898877a81d497bbaf1569cccfa.tupone@gentoo
1 commit: c4284123349e1f898877a81d497bbaf1569cccfa
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Mon Feb 7 09:54:50 2022 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Mon Feb 7 09:55:25 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c4284123
7
8 sci-mathematics/why3-for-spark: fix doc deps
9
10 Package-Manager: Portage-3.0.30, Repoman-3.0.3
11 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
12
13 sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 3 ++-
14 1 file changed, 2 insertions(+), 1 deletion(-)
15
16 diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
17 index 8fd579c6c8d4..7b43ab3763ab 100644
18 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
19 +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild
20 @@ -1,4 +1,4 @@
21 -# Copyright 1999-2021 Gentoo Authors
22 +# Copyright 1999-2022 Gentoo Authors
23 # Distributed under the terms of the GNU General Public License v2
24
25 EAPI=7
26 @@ -29,6 +29,7 @@ DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=]
27 doc? (
28 dev-tex/rubber
29 dev-python/sphinx
30 + dev-python/sphinxcontrib-bibtex
31 media-gfx/graphviz
32 dev-python/sphinxcontrib-bibtex
33 )