Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/coq/
Date: Mon, 23 Jan 2017 09:19:19
Message-Id: 1485163124.7b808055aa6318019d8b24d676963bb6ad0dfd62.aballier@gentoo
1 commit: 7b808055aa6318019d8b24d676963bb6ad0dfd62
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Mon Jan 23 09:18:44 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Mon Jan 23 09:18:44 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7b808055
7
8 sci-mathematics/coq: adjust deps for TeX Live 2016.
9
10 Package-Manager: Portage-2.3.3, Repoman-2.3.1
11
12 sci-mathematics/coq/coq-8.5.ebuild | 4 ++--
13 sci-mathematics/coq/coq-8.5_p3.ebuild | 4 ++--
14 sci-mathematics/coq/coq-8.6.ebuild | 4 ++--
15 3 files changed, 6 insertions(+), 6 deletions(-)
16
17 diff --git a/sci-mathematics/coq/coq-8.5.ebuild b/sci-mathematics/coq/coq-8.5.ebuild
18 index 040cc88..6b316f1 100644
19 --- a/sci-mathematics/coq/coq-8.5.ebuild
20 +++ b/sci-mathematics/coq/coq-8.5.ebuild
21 @@ -1,4 +1,4 @@
22 -# Copyright 1999-2016 Gentoo Foundation
23 +# Copyright 1999-2017 Gentoo Foundation
24 # Distributed under the terms of the GNU General Public License v2
25 # $Id$
26
27 @@ -31,7 +31,7 @@ DEPEND="${RDEPEND}
28 dev-tex/hevea
29 dev-tex/xcolor
30 dev-texlive/texlive-pictures
31 - dev-texlive/texlive-mathextra
32 + || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
33 dev-texlive/texlive-latexextra
34 )"
35
36
37 diff --git a/sci-mathematics/coq/coq-8.5_p3.ebuild b/sci-mathematics/coq/coq-8.5_p3.ebuild
38 index 5e04286..4c51032 100644
39 --- a/sci-mathematics/coq/coq-8.5_p3.ebuild
40 +++ b/sci-mathematics/coq/coq-8.5_p3.ebuild
41 @@ -1,4 +1,4 @@
42 -# Copyright 1999-2016 Gentoo Foundation
43 +# Copyright 1999-2017 Gentoo Foundation
44 # Distributed under the terms of the GNU General Public License v2
45 # $Id$
46
47 @@ -30,7 +30,7 @@ DEPEND="${RDEPEND}
48 dev-tex/hevea
49 dev-tex/xcolor
50 dev-texlive/texlive-pictures
51 - dev-texlive/texlive-mathextra
52 + || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
53 dev-texlive/texlive-latexextra
54 )"
55
56
57 diff --git a/sci-mathematics/coq/coq-8.6.ebuild b/sci-mathematics/coq/coq-8.6.ebuild
58 index e87893f..ffa143e 100644
59 --- a/sci-mathematics/coq/coq-8.6.ebuild
60 +++ b/sci-mathematics/coq/coq-8.6.ebuild
61 @@ -1,4 +1,4 @@
62 -# Copyright 1999-2016 Gentoo Foundation
63 +# Copyright 1999-2017 Gentoo Foundation
64 # Distributed under the terms of the GNU General Public License v2
65 # $Id$
66
67 @@ -31,7 +31,7 @@ DEPEND="${RDEPEND}
68 dev-tex/hevea
69 dev-tex/xcolor
70 dev-texlive/texlive-pictures
71 - dev-texlive/texlive-mathextra
72 + || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
73 dev-texlive/texlive-latexextra
74 )"