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 a33cc3295435..85ccaafe0c73 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.86 2015/03/20 07:55:39 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.87 2015/06/27 09:48:20 ago Exp $ + + 27 Jun 2015; Agostino Sarubbo <ago@gentoo.org> coq-8.4_p5.ebuild: + Stable for amd64, wrt bug #553322 20 Mar 2015; Justin Lecher <jlec@gentoo.org> files/coqide.desktop: Fix desktop file |