diff options
Diffstat (limited to 'sci-mathematics/coq/coq-8.0_p3.ebuild')
| -rw-r--r-- | sci-mathematics/coq/coq-8.0_p3.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
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}" |