* [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral: proofgeneral-4.2.ebuild ChangeLog
@ 2013-12-21 16:11 Agostino Sarubbo (ago)
0 siblings, 0 replies; 2+ messages in thread
From: Agostino Sarubbo (ago) @ 2013-12-21 16:11 UTC (permalink / raw
To: gentoo-commits
ago 13/12/21 16:11:39
Modified: proofgeneral-4.2.ebuild ChangeLog
Log:
Stable for ppc, wrt bug #490100
(Portage version: 2.2.1/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
Revision Changes Path
1.2 app-emacs/proofgeneral/proofgeneral-4.2.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.2&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.2&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?r1=1.1&r2=1.2
Index: proofgeneral-4.2.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -r1.1 -r1.2
--- proofgeneral-4.2.ebuild 22 Apr 2013 19:42:12 -0000 1.1
+++ proofgeneral-4.2.ebuild 21 Dec 2013 16:11:39 -0000 1.2
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.1 2013/04/22 19:42:12 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.2 2013/12/21 16:11:39 ago Exp $
EAPI=5
NEED_EMACS=23
@@ -14,7 +14,7 @@
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86"
+KEYWORDS="~amd64 ppc ~x86"
IUSE=""
DEPEND=">=app-emacs/mmm-mode-0.4.8-r2"
1.39 app-emacs/proofgeneral/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.39&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.39&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?r1=1.38&r2=1.39
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -r1.38 -r1.39
--- ChangeLog 22 Apr 2013 19:42:12 -0000 1.38
+++ ChangeLog 21 Dec 2013 16:11:39 -0000 1.39
@@ -1,6 +1,9 @@
# ChangeLog for app-emacs/proofgeneral
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.38 2013/04/22 19:42:12 ulm Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.39 2013/12/21 16:11:39 ago Exp $
+
+ 21 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild:
+ Stable for ppc, wrt bug #490100
*proofgeneral-4.2 (22 Apr 2013)
@@ -155,4 +158,3 @@
21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml,
proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el:
Initial version, related bug's #30394.
-
^ permalink raw reply [flat|nested] 2+ messages in thread
* [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral: proofgeneral-4.2.ebuild ChangeLog
@ 2013-12-24 12:45 Agostino Sarubbo (ago)
0 siblings, 0 replies; 2+ messages in thread
From: Agostino Sarubbo (ago) @ 2013-12-24 12:45 UTC (permalink / raw
To: gentoo-commits
ago 13/12/24 12:45:53
Modified: proofgeneral-4.2.ebuild ChangeLog
Log:
Stable for x86, wrt bug #490100
(Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
Revision Changes Path
1.4 app-emacs/proofgeneral/proofgeneral-4.2.ebuild
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.4&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?rev=1.4&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild?r1=1.3&r2=1.4
Index: proofgeneral-4.2.ebuild
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -r1.3 -r1.4
--- proofgeneral-4.2.ebuild 22 Dec 2013 16:46:25 -0000 1.3
+++ proofgeneral-4.2.ebuild 24 Dec 2013 12:45:52 -0000 1.4
@@ -1,6 +1,6 @@
# Copyright 1999-2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.3 2013/12/22 16:46:25 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/proofgeneral-4.2.ebuild,v 1.4 2013/12/24 12:45:52 ago Exp $
EAPI=5
NEED_EMACS=23
@@ -14,7 +14,7 @@
LICENSE="GPL-2"
SLOT="0"
-KEYWORDS="amd64 ppc ~x86"
+KEYWORDS="amd64 ppc x86"
IUSE=""
DEPEND=">=app-emacs/mmm-mode-0.4.8-r2"
1.41 app-emacs/proofgeneral/ChangeLog
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.41&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?rev=1.41&content-type=text/plain
diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/app-emacs/proofgeneral/ChangeLog?r1=1.40&r2=1.41
Index: ChangeLog
===================================================================
RCS file: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v
retrieving revision 1.40
retrieving revision 1.41
diff -u -r1.40 -r1.41
--- ChangeLog 22 Dec 2013 16:46:25 -0000 1.40
+++ ChangeLog 24 Dec 2013 12:45:52 -0000 1.41
@@ -1,6 +1,9 @@
# ChangeLog for app-emacs/proofgeneral
# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.40 2013/12/22 16:46:25 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.41 2013/12/24 12:45:52 ago Exp $
+
+ 24 Dec 2013; Agostino Sarubbo <ago@gentoo.org> proofgeneral-4.2.ebuild:
+ Stable for x86, wrt bug #490100
22 Dec 2013; Pacho Ramos <pacho@gentoo.org> proofgeneral-4.2.ebuild:
amd64 stable, bug #490100
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-12-24 12:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-12-21 16:11 [gentoo-commits] gentoo-x86 commit in app-emacs/proofgeneral: proofgeneral-4.2.ebuild ChangeLog Agostino Sarubbo (ago)
-- strict thread matches above, loose matches on Subject: below --
2013-12-24 12:45 Agostino Sarubbo (ago)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox