ago 15/06/27 09:48:20 Modified: coq-8.4_p5.ebuild ChangeLog Log: Stable for amd64, wrt bug #553322 (Portage version: 2.2.18/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
Revision Changes Path 1.4 sci-mathematics/coq/coq-8.4_p5.ebuild file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild?rev=1.4&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild?rev=1.4&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild?r1=1.3&r2=1.4 Index: coq-8.4_p5.ebuild =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild,v retrieving revision 1.3 retrieving revision 1.4 diff -u -r1.3 -r1.4 --- coq-8.4_p5.ebuild 15 Feb 2015 06:46:47 -0000 1.3 +++ coq-8.4_p5.ebuild 27 Jun 2015 09:48:20 -0000 1.4 @@ -1,6 +1,6 @@ # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild,v 1.3 2015/02/15 06:46:47 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.4_p5.ebuild,v 1.4 2015/06/27 09:48:20 ago Exp $ EAPI="5" @@ -15,7 +15,7 @@ LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" +KEYWORDS="amd64 ~ppc ~x86" IUSE="gtk debug +ocamlopt doc camlp5" RDEPEND=" 1.87 sci-mathematics/coq/ChangeLog file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.87&view=markup plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.87&content-type=text/plain diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.86&r2=1.87 Index: ChangeLog =================================================================== RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v retrieving revision 1.86 retrieving revision 1.87 diff -u -r1.86 -r1.87 --- ChangeLog 20 Mar 2015 07:55:39 -0000 1.86 +++ ChangeLog 27 Jun 2015 09:48:20 -0000 1.87 @@ -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 <[email protected]> coq-8.4_p5.ebuild: + Stable for amd64, wrt bug #553322 20 Mar 2015; Justin Lecher <[email protected]> files/coqide.desktop: Fix desktop file
