diff options
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index bb1109167dec..c78b6c28c4dd 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.61 2011/02/20 17:57:47 phajdan.jr Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.62 2011/02/21 18:45:10 hwoarang Exp $ + + 21 Feb 2011; Markos Chandras <hwoarang@gentoo.org> coq-8.3_p1.ebuild: + Stable on amd64 wrt bug #355539 20 Feb 2011; Pawel Hajdan jr <phajdan.jr@gentoo.org> coq-8.3_p1.ebuild: x86 stable wrt bug #355539 |