summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2009-05-18 06:38:23 +0000
committerAlexis Ballier <aballier@gentoo.org>2009-05-18 06:38:23 +0000
commit14b50f9310f6ea15e3601789fe5339e3b3677080 (patch)
tree6a68905e092e0f9b734bb9ec7db140c7aa303de1 /sci-mathematics/coq/ChangeLog
parentOpenSSH HPN patch breakage has been resolved by upstream now. (diff)
downloadhistorical-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/ChangeLog8
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)