gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-06 00:48:18 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra

Browse Source 
Package-Manager: Portage-2.3.28, Repoman-2.3.9
This commit is contained in:
Andreas Sturmlechner
2018-04-09 21:28:31 +02:00
parent 35b1f24c75
commit 352187786b
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/coq/coq-8.6.1.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2017 Gentoo Foundation
# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -30,7 +30,7 @@ DEPEND="${RDEPEND}
dev-tex/hevea
dev-tex/xcolor
dev-texlive/texlive-pictures
|| ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
dev-texlive/texlive-mathscience
dev-texlive/texlive-latexextra
)"

4
sci-mathematics/coq/coq-8.6.ebuild
View File

@@ -1,4 +1,4 @@
# Copyright 1999-2017 Gentoo Foundation
# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI="5"
@@ -30,7 +30,7 @@ DEPEND="${RDEPEND}
dev-tex/hevea
dev-tex/xcolor
dev-texlive/texlive-pictures
|| ( dev-texlive/texlive-mathscience dev-texlive/texlive-mathextra )
dev-texlive/texlive-mathscience
dev-texlive/texlive-latexextra
)"