diff options
author | Alexis Ballier <aballier@gentoo.org> | 2009-05-18 06:38:23 +0000 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2009-05-18 06:38:23 +0000 |
commit | 14b50f9310f6ea15e3601789fe5339e3b3677080 (patch) | |
tree | 6a68905e092e0f9b734bb9ec7db140c7aa303de1 /sci-mathematics/coq/ChangeLog | |
parent | OpenSSH HPN patch breakage has been resolved by upstream now. (diff) | |
download | historical-14b50f9310f6ea15e3601789fe5339e3b3677080.tar.gz historical-14b50f9310f6ea15e3601789fe5339e3b3677080.tar.bz2 historical-14b50f9310f6ea15e3601789fe5339e3b3677080.zip |
remove old
Package-Manager: portage-2.2_rc33/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
-rw-r--r-- | sci-mathematics/coq/ChangeLog | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index a6dcc01a4c58..fdaaa8fd68ef 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq -# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.40 2009/02/18 18:07:53 aballier Exp $ +# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.41 2009/05/18 06:38:23 aballier Exp $ + + 18 May 2009; Alexis Ballier <aballier@gentoo.org> -coq-8.1_p3.ebuild, + -coq-8.1_p3-r1.ebuild, metadata.xml: + remove old *coq-8.2 (18 Feb 2009) |