diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:17 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2008-01-03 19:44:17 +0000 |
| commit | fe5bc995d864888368a784781b8ec19c34dcf0fd (patch) | |
| tree | d8592e0b01efc595f7cd13899470ba4b3134133c | |
| parent | Stable on amd64; bug 196865 (diff) | |
| download | gentoo-2-fe5bc995d864888368a784781b8ec19c34dcf0fd.tar.gz gentoo-2-fe5bc995d864888368a784781b8ec19c34dcf0fd.tar.bz2 gentoo-2-fe5bc995d864888368a784781b8ec19c34dcf0fd.zip | |
whitespace
(Portage version: 2.1.3.19)
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p3.ebuild | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sci-mathematics/coq/coq-8.1_p3.ebuild b/sci-mathematics/coq/coq-8.1_p3.ebuild index 3c0425b31247..638ac4dcd961 100644 --- a/sci-mathematics/coq/coq-8.1_p3.ebuild +++ b/sci-mathematics/coq/coq-8.1_p3.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2008 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.3 2008/01/03 17:41:59 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p3.ebuild,v 1.4 2008/01/03 19:44:17 mr_bones_ Exp $ inherit eutils multilib @@ -36,7 +36,6 @@ coq_need_ocamlopt() { fi } - pkg_setup() { coq_need_ocamlopt 'dev-lang/ocaml' use ide && coq_need_ocamlopt 'dev-ml/lablgtk' |