diff options
Diffstat (limited to 'app-sci/coq')
| -rw-r--r-- | app-sci/coq/ChangeLog | 4 | ||||
| -rw-r--r-- | app-sci/coq/coq-8.0.ebuild | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/app-sci/coq/ChangeLog b/app-sci/coq/ChangeLog index 74f60f753db7..1bdabb32ec1c 100644 --- a/app-sci/coq/ChangeLog +++ b/app-sci/coq/ChangeLog @@ -1,6 +1,6 @@ # ChangeLog for app-sci/coq -# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.4 2004/07/01 14:48:09 mattam Exp $ +# Copyright 2000-2004 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/ChangeLog,v 1.5 2004/07/09 21:42:17 mr_bones_ Exp $ *coq-8.0 (01 Jul 2004) 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 |