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