diff options
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) |