jlec 15/03/20 07:55:39 Modified: ChangeLog Log: Fix desktop file (Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
Revision Changes Path 1.86 sci-mathematics/coq/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.86&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.86&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.85&r2=1.86 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v retrieving revision 1.85 retrieving revision 1.86 diff -u -r1.85 -r1.86 --- ChangeLog 15 Feb 2015 06:46:47 -0000 1.85 +++ ChangeLog 20 Mar 2015 07:55:39 -0000 1.86 @@ -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.85 2015/02/15 06:46:47 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.86 2015/03/20 07:55:39 jlec Exp $ + + 20 Mar 2015; Justin Lecher <[email protected]> files/coqide.desktop: + Fix desktop file 15 Feb 2015; Mark Wright <[email protected]> +files/coq-8.4_p5-do-not-install-revision.patch,
