diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2004-07-09 21:45:52 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2004-07-09 21:45:52 +0000 |
| commit | f039098c2dd6e3618c68bf44dd6a4cfa2c48f097 (patch) | |
| tree | ea645a4c35227298e2133f26578ae49335b4d86f /app-sci/coq/coq-8.0.ebuild | |
| parent | made ppc64-headers conflict with virtual/os-headers so that users cant accide... (diff) | |
| download | gentoo-2-f039098c2dd6e3618c68bf44dd6a4cfa2c48f097.tar.gz gentoo-2-f039098c2dd6e3618c68bf44dd6a4cfa2c48f097.tar.bz2 gentoo-2-f039098c2dd6e3618c68bf44dd6a4cfa2c48f097.zip | |
header fix
Diffstat (limited to 'app-sci/coq/coq-8.0.ebuild')
| -rw-r--r-- | app-sci/coq/coq-8.0.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app-sci/coq/coq-8.0.ebuild b/app-sci/coq/coq-8.0.ebuild index 2203f5f3dad6..0e548828c481 100644 --- a/app-sci/coq/coq-8.0.ebuild +++ b/app-sci/coq/coq-8.0.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2004 Gentoo Technologies, Inc. +# Copyright 1999-2004 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0.ebuild,v 1.1 2004/07/01 14:48:09 mattam Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0.ebuild,v 1.2 2004/07/09 21:42:18 mr_bones_ Exp $ inherit eutils |