diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:18:44 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:18:44 +0100 |
| commit | 7b808055aa6318019d8b24d676963bb6ad0dfd62 (patch) | |
| tree | 74ac0e736777f79f41aed6cb6b5f35f3e38b9b94 /sci-mathematics/coq/coq-8.5.ebuild | |
| parent | sci-mathematics/coq: remove old (diff) | |
| download | gentoo-7b808055aa6318019d8b24d676963bb6ad0dfd62.tar.gz gentoo-7b808055aa6318019d8b24d676963bb6ad0dfd62.tar.bz2 gentoo-7b808055aa6318019d8b24d676963bb6ad0dfd62.zip | |
sci-mathematics/coq: adjust deps for TeX Live 2016.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'sci-mathematics/coq/coq-8.5.ebuild')
| -rw-r--r-- | sci-mathematics/coq/coq-8.5.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/coq/coq-8.5.ebuild b/sci-mathematics/coq/coq-8.5.ebuild index 040cc88a8944..6b316f1ca09b 100644 --- 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 )" |