Gentoo Archives: gentoo-commits

From: "Maciej Barć" <xgqt@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3/
Date: Thu, 13 Jan 2022 16:42:03
Message-Id: 1642091887.c87b6eaca316012d6da22935421b4279bd91b128.xgqt@gentoo
1 commit: c87b6eaca316012d6da22935421b4279bd91b128
2 Author: François-Xavier Carton <fx.carton91 <AT> gmail <DOT> com>
3 AuthorDate: Wed Jan 12 22:34:35 2022 +0000
4 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
5 CommitDate: Thu Jan 13 16:38:07 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c87b6eac
7
8 sci-mathematics/why3: add missing latex dependencies
9
10 Closes: https://bugs.gentoo.org/828997
11 Closes: https://github.com/gentoo/gentoo/pull/23774
12 Signed-off-by: François-Xavier Carton <fx.carton91 <AT> gmail.com>
13 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
14
15 sci-mathematics/why3/{why3-1.4.0-r1.ebuild => why3-1.4.0-r2.ebuild} | 4 +++-
16 1 file changed, 3 insertions(+), 1 deletion(-)
17
18 diff --git a/sci-mathematics/why3/why3-1.4.0-r1.ebuild b/sci-mathematics/why3/why3-1.4.0-r2.ebuild
19 similarity index 95%
20 rename from sci-mathematics/why3/why3-1.4.0-r1.ebuild
21 rename to sci-mathematics/why3/why3-1.4.0-r2.ebuild
22 index badf49628e94..cb84e64b2802 100644
23 --- a/sci-mathematics/why3/why3-1.4.0-r1.ebuild
24 +++ b/sci-mathematics/why3/why3-1.4.0-r2.ebuild
25 @@ -37,7 +37,9 @@ BDEPEND="
26 dev-python/sphinx
27 dev-python/sphinxcontrib-bibtex
28 media-gfx/graphviz
29 - || ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber )
30 + dev-texlive/texlive-latex
31 + dev-texlive/texlive-fontsrecommended
32 + dev-texlive/texlive-latexextra
33 )
34 "