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?] |