diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2010-11-11 20:29:52 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2010-11-11 20:29:52 +0000 |
| commit | 1d5a0f1595618ceee9faf5f7b9a9b7549ce7b5e9 (patch) | |
| tree | 5d78a8afe80534bd7b3f50fe76e1cfc4489915e6 /sci-mathematics/coq | |
| parent | Depend on netpbm[zlib] for pnmtops, bug #310305 (diff) | |
| download | gentoo-2-1d5a0f1595618ceee9faf5f7b9a9b7549ce7b5e9.tar.gz gentoo-2-1d5a0f1595618ceee9faf5f7b9a9b7549ce7b5e9.tar.bz2 gentoo-2-1d5a0f1595618ceee9faf5f7b9a9b7549ce7b5e9.zip | |
depend on texlive-latexextra for comment.sty, bug #342797 by Bartek 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl>
(Portage version: 2.2.0_alpha4/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.2_p1-r1.ebuild | 3 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.2_p2.ebuild | 3 |
3 files changed, 10 insertions, 3 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 3b820b6ebf22..b299f47df7e5 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.55 2010/11/11 20:24:23 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.56 2010/11/11 20:29:52 aballier Exp $ + + 11 Nov 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild, + coq-8.2_p2.ebuild: + depend on texlive-latexextra for comment.sty, bug #342797 by Bartek + 'Paczesiowa' Cwiklowski <paczesiowa@dw.pl> 11 Nov 2010; Alexis Ballier <aballier@gentoo.org> coq-8.2_p1-r1.ebuild, coq-8.2_p2.ebuild: diff --git a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild index f30b6fa10f8b..ad540ca85e6a 100644 --- a/sci-mathematics/coq/coq-8.2_p1-r1.ebuild +++ b/sci-mathematics/coq/coq-8.2_p1-r1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.8 2010/11/11 20:24:23 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.9 2010/11/11 20:29:52 aballier Exp $ EAPI="2" @@ -29,6 +29,7 @@ DEPEND="${RDEPEND} dev-tex/xcolor || ( dev-texlive/texlive-pictures app-text/ptex ) || ( dev-texlive/texlive-mathextra app-text/ptex ) + || ( dev-texlive/texlive-latexextra app-text/ptex ) )" S="${WORKDIR}/${MY_P}" diff --git a/sci-mathematics/coq/coq-8.2_p2.ebuild b/sci-mathematics/coq/coq-8.2_p2.ebuild index be74966593c4..78d99a1735bf 100644 --- a/sci-mathematics/coq/coq-8.2_p2.ebuild +++ b/sci-mathematics/coq/coq-8.2_p2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2010 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.3 2010/11/11 20:24:23 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.4 2010/11/11 20:29:52 aballier Exp $ EAPI=2 inherit eutils multilib @@ -28,6 +28,7 @@ DEPEND="${RDEPEND} dev-tex/xcolor || ( dev-texlive/texlive-pictures app-text/ptex ) || ( dev-texlive/texlive-mathextra app-text/ptex ) + || ( dev-texlive/texlive-latexextra app-text/ptex ) )" S=${WORKDIR}/${MY_P} |