diff options
| author |   Piotr Jaroszyński <peper@gentoo.org> | 2007-07-02 15:26:46 +0000 |
|---|---|---|
| committer | Piotr Jaroszyński <peper@gentoo.org> | 2007-07-02 15:26:46 +0000 |
| commit | a41435456bf8611cfe1ff1215862d2c86431b36e (patch) | |
| tree | f2e5374e5c862078d01c2972438734d8158f45cf /sci-mathematics/coq | |
| parent | (QA) RESTRICT clean up. (diff) | |
| download | gentoo-2-a41435456bf8611cfe1ff1215862d2c86431b36e.tar.gz gentoo-2-a41435456bf8611cfe1ff1215862d2c86431b36e.tar.bz2 gentoo-2-a41435456bf8611cfe1ff1215862d2c86431b36e.zip | |
(QA) RESTRICT clean up.
(Portage version: 2.1.3_rc6)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0-r1.ebuild | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0_p3.ebuild | 6 |
3 files changed, 11 insertions, 7 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 54125d34af5b..9fa4fd02259a 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.12 2007/02/22 01:18:39 jokey Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.13 2007/07/02 15:26:46 peper Exp $ + + 02 Jul 2007; Piotr Jaroszyński <peper@gentoo.org> coq-8.0-r1.ebuild, + coq-8.0_p3.ebuild: + (QA) RESTRICT clean up. 22 Feb 2007; Markus Ullmann <jokey@gentoo.org> ChangeLog: Redigest for Manifest2 diff --git a/sci-mathematics/coq/coq-8.0-r1.ebuild b/sci-mathematics/coq/coq-8.0-r1.ebuild index 8a6059d365a1..2f70a919e20b 100644 --- a/sci-mathematics/coq/coq-8.0-r1.ebuild +++ b/sci-mathematics/coq/coq-8.0-r1.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2006 Gentoo Foundation +# Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0-r1.ebuild,v 1.5 2006/05/03 01:10:42 weeve Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0-r1.ebuild,v 1.6 2007/07/02 15:26:46 peper Exp $ inherit eutils IUSE="norealanalysis ide debug translator doc" -RESTRICT="nostrip" +RESTRICT="strip" MY_PV="8.0pl1" MY_P="${PN}-${MY_PV}" diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild index 9545e05f2d0f..ad88033cc4b6 100644 --- a/sci-mathematics/coq/coq-8.0_p3.ebuild +++ b/sci-mathematics/coq/coq-8.0_p3.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2006 Gentoo Foundation +# Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.5 2006/09/24 09:16:43 hansmi Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.6 2007/07/02 15:26:46 peper Exp $ inherit eutils IUSE="norealanalysis ide debug translator doc" -RESTRICT="nostrip" +RESTRICT="strip" MY_PV="${PV/_p/pl}" MY_P="${PN}-${MY_PV}" |