sci-mathematics/coq: adjust deps for TeX Live 2016.

Package-Manager: Portage-2.3.3, Repoman-2.3.1

diff --git a/sci-mathematics/coq/coq-8.5.ebuild b/sci-mathematics/coq/coq-8.5.ebuild
index 040cc88a894473397cb474b9080d882de86416c7..6b316f1ca09b2fdb247e9ed0383d4a24fbc02d78 100644 (file)
--- a/sci-mathematics/coq/coq-8.5.ebuild
+++ b/sci-mathematics/coq/coq-8.5.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
@@ -31,7 +31,7 @@ DEPEND="${RDEPEND}
                dev-tex/hevea
                dev-tex/xcolor
                dev-texlive/texlive-pictures
-               dev-texlive/texlive-mathextra
+               || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
                dev-texlive/texlive-latexextra
                )"
 

diff --git a/sci-mathematics/coq/coq-8.5_p3.ebuild b/sci-mathematics/coq/coq-8.5_p3.ebuild
index 5e04286444d7b3e9419ef544e47374f5d86d305a..4c51032e1fc83bcb7557dd50fe2f318ae30b5fc8 100644 (file)
--- a/sci-mathematics/coq/coq-8.5_p3.ebuild
+++ b/sci-mathematics/coq/coq-8.5_p3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
@@ -30,7 +30,7 @@ DEPEND="${RDEPEND}
                dev-tex/hevea
                dev-tex/xcolor
                dev-texlive/texlive-pictures
-               dev-texlive/texlive-mathextra
+               || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
                dev-texlive/texlive-latexextra
                )"
 

diff --git a/sci-mathematics/coq/coq-8.6.ebuild b/sci-mathematics/coq/coq-8.6.ebuild
index e87893f05cad2686b739ba854ae55431f5fa31ad..ffa143eea2dfa0167bb4a925fbb8c6ab2cf061d1 100644 (file)
--- a/sci-mathematics/coq/coq-8.6.ebuild
+++ b/sci-mathematics/coq/coq-8.6.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2017 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
 # $Id$
 
@@ -31,7 +31,7 @@ DEPEND="${RDEPEND}
                dev-tex/hevea
                dev-tex/xcolor
                dev-texlive/texlive-pictures
-               dev-texlive/texlive-mathextra
+               || ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
                dev-texlive/texlive-latexextra
                )"