Gentoo Archives: gentoo-commits

From: "Raul Porcel (armin76)" <armin76@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in sci-mathematics/coq: ChangeLog coq-8.3_p1.ebuild coq-8.2_p1-r1.ebuild coq-8.2_p2.ebuild coq-8.3.ebuild
Date: Sun, 27 Feb 2011 18:12:13
Message-Id: 20110227181202.A834520054@flycatcher.gentoo.org
1 armin76 11/02/27 18:12:02
2
3 Modified: ChangeLog coq-8.3_p1.ebuild coq-8.2_p1-r1.ebuild
4 coq-8.2_p2.ebuild coq-8.3.ebuild
5 Log:
6 Drop sparc keywords
7
8 (Portage version: 2.1.9.41/cvs/Linux ia64)
9
10 Revision Changes Path
11 1.63 sci-mathematics/coq/ChangeLog
12
13 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.63&view=markup
14 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?rev=1.63&content-type=text/plain
15 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/ChangeLog?r1=1.62&r2=1.63
16
17 Index: ChangeLog
18 ===================================================================
19 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v
20 retrieving revision 1.62
21 retrieving revision 1.63
22 diff -u -r1.62 -r1.63
23 --- ChangeLog 21 Feb 2011 18:45:10 -0000 1.62
24 +++ ChangeLog 27 Feb 2011 18:12:02 -0000 1.63
25 @@ -1,6 +1,10 @@
26 # ChangeLog for sci-mathematics/coq
27 # Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
28 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.62 2011/02/21 18:45:10 hwoarang Exp $
29 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.63 2011/02/27 18:12:02 armin76 Exp $
30 +
31 + 27 Feb 2011; Raúl Porcel <armin76@g.o> coq-8.2_p1-r1.ebuild,
32 + coq-8.2_p2.ebuild, coq-8.3.ebuild, coq-8.3_p1.ebuild:
33 + Drop sparc keywords
34
35 21 Feb 2011; Markos Chandras <hwoarang@g.o> coq-8.3_p1.ebuild:
36 Stable on amd64 wrt bug #355539
37
38
39
40 1.4 sci-mathematics/coq/coq-8.3_p1.ebuild
41
42 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild?rev=1.4&view=markup
43 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild?rev=1.4&content-type=text/plain
44 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild?r1=1.3&r2=1.4
45
46 Index: coq-8.3_p1.ebuild
47 ===================================================================
48 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v
49 retrieving revision 1.3
50 retrieving revision 1.4
51 diff -u -r1.3 -r1.4
52 --- coq-8.3_p1.ebuild 21 Feb 2011 18:45:10 -0000 1.3
53 +++ coq-8.3_p1.ebuild 27 Feb 2011 18:12:02 -0000 1.4
54 @@ -1,6 +1,6 @@
55 # Copyright 1999-2011 Gentoo Foundation
56 # Distributed under the terms of the GNU General Public License v2
57 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.3 2011/02/21 18:45:10 hwoarang Exp $
58 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3_p1.ebuild,v 1.4 2011/02/27 18:12:02 armin76 Exp $
59
60 EAPI="2"
61
62 @@ -15,7 +15,7 @@
63
64 LICENSE="LGPL-2.1"
65 SLOT="0"
66 -KEYWORDS="amd64 ~ppc ~sparc x86"
67 +KEYWORDS="amd64 ~ppc x86"
68 IUSE="gtk debug +ocamlopt doc"
69
70 RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
71
72
73
74 1.10 sci-mathematics/coq/coq-8.2_p1-r1.ebuild
75
76 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild?rev=1.10&view=markup
77 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild?rev=1.10&content-type=text/plain
78 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild?r1=1.9&r2=1.10
79
80 Index: coq-8.2_p1-r1.ebuild
81 ===================================================================
82 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v
83 retrieving revision 1.9
84 retrieving revision 1.10
85 diff -u -r1.9 -r1.10
86 --- coq-8.2_p1-r1.ebuild 11 Nov 2010 20:29:52 -0000 1.9
87 +++ coq-8.2_p1-r1.ebuild 27 Feb 2011 18:12:02 -0000 1.10
88 @@ -1,6 +1,6 @@
89 -# Copyright 1999-2010 Gentoo Foundation
90 +# Copyright 1999-2011 Gentoo Foundation
91 # Distributed under the terms of the GNU General Public License v2
92 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.9 2010/11/11 20:29:52 aballier Exp $
93 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p1-r1.ebuild,v 1.10 2011/02/27 18:12:02 armin76 Exp $
94
95 EAPI="2"
96
97 @@ -15,7 +15,7 @@
98
99 LICENSE="LGPL-2.1"
100 SLOT="0"
101 -KEYWORDS="amd64 ppc sparc x86"
102 +KEYWORDS="amd64 ppc x86"
103 IUSE="norealanalysis gtk debug +ocamlopt doc"
104
105 RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
106
107
108
109 1.6 sci-mathematics/coq/coq-8.2_p2.ebuild
110
111 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild?rev=1.6&view=markup
112 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild?rev=1.6&content-type=text/plain
113 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild?r1=1.5&r2=1.6
114
115 Index: coq-8.2_p2.ebuild
116 ===================================================================
117 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v
118 retrieving revision 1.5
119 retrieving revision 1.6
120 diff -u -r1.5 -r1.6
121 --- coq-8.2_p2.ebuild 20 Feb 2011 07:36:09 -0000 1.5
122 +++ coq-8.2_p2.ebuild 27 Feb 2011 18:12:02 -0000 1.6
123 @@ -1,6 +1,6 @@
124 # Copyright 1999-2011 Gentoo Foundation
125 # Distributed under the terms of the GNU General Public License v2
126 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.5 2011/02/20 07:36:09 tomka Exp $
127 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.2_p2.ebuild,v 1.6 2011/02/27 18:12:02 armin76 Exp $
128
129 EAPI=2
130 inherit eutils multilib
131 @@ -14,7 +14,7 @@
132
133 LICENSE="LGPL-2.1"
134 SLOT="0"
135 -KEYWORDS="~amd64 ~ppc ~sparc ~x86"
136 +KEYWORDS="~amd64 ~ppc ~x86"
137 IUSE="+realanalysis gtk debug +ocamlopt doc"
138
139 RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]
140
141
142
143 1.3 sci-mathematics/coq/coq-8.3.ebuild
144
145 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild?rev=1.3&view=markup
146 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild?rev=1.3&content-type=text/plain
147 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild?r1=1.2&r2=1.3
148
149 Index: coq-8.3.ebuild
150 ===================================================================
151 RCS file: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild,v
152 retrieving revision 1.2
153 retrieving revision 1.3
154 diff -u -r1.2 -r1.3
155 --- coq-8.3.ebuild 20 Nov 2010 12:44:09 -0000 1.2
156 +++ coq-8.3.ebuild 27 Feb 2011 18:12:02 -0000 1.3
157 @@ -1,6 +1,6 @@
158 -# Copyright 1999-2010 Gentoo Foundation
159 +# Copyright 1999-2011 Gentoo Foundation
160 # Distributed under the terms of the GNU General Public License v2
161 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild,v 1.2 2010/11/20 12:44:09 tomka Exp $
162 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.3.ebuild,v 1.3 2011/02/27 18:12:02 armin76 Exp $
163
164 EAPI="2"
165
166 @@ -12,7 +12,7 @@
167
168 LICENSE="LGPL-2.1"
169 SLOT="0"
170 -KEYWORDS="~amd64 ~ppc ~sparc ~x86"
171 +KEYWORDS="~amd64 ~ppc ~x86"
172 IUSE="gtk debug +ocamlopt doc"
173
174 RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]