pyrox.dev
1
2# This file is generated from generate-platforms.sh. DO NOT EDIT.
3# Execute generate-platforms.sh or fetch.sh to update the file.
4{stdenv, fetchurl, unzip}:
5
6let
7 buildPlatform = args:
8 stdenv.mkDerivation (args // {
9 buildInputs = [ unzip ];
10 buildCommand = ''
11 mkdir -p $out
12 cd $out
13 unzip $src
14 '';
15 });
16in
17{
18
19 platform_2 = buildPlatform {
20 name = "android-platform-1.1";
21 src = fetchurl {
22 url = https://dl-ssl.google.com/android/repository/android-1.1_r1-linux.zip;
23 sha1 = "c054d25c9b4c6251fa49c2f9c54336998679d3fe";
24 };
25 meta = {
26 description = "Android SDK Platform 1.1_r1";
27 url = http://developer.android.com/sdk/android-1.1.html;
28 };
29 };
30
31 platform_3 = buildPlatform {
32 name = "android-platform-1.5";
33 src = fetchurl {
34 url = https://dl-ssl.google.com/android/repository/android-1.5_r04-linux.zip;
35 sha1 = "5c134b7df5f4b8bd5b61ba93bdaebada8fa3468c";
36 };
37 meta = {
38 description = "Android SDK Platform 1.5_r3";
39 url = http://developer.android.com/sdk/android-1.5.html;
40 };
41 };
42
43 platform_4 = buildPlatform {
44 name = "android-platform-1.6";
45 src = fetchurl {
46 url = https://dl-ssl.google.com/android/repository/android-1.6_r03-linux.zip;
47 sha1 = "483ed088e45bbdf3444baaf9250c8b02e5383cb0";
48 };
49 meta = {
50 description = "Android SDK Platform 1.6_r2";
51 url = http://developer.android.com/sdk/android-1.6.html;
52 };
53 };
54
55 platform_5 = buildPlatform {
56 name = "android-platform-2.0";
57 src = fetchurl {
58 url = https://dl-ssl.google.com/android/repository/android-2.0_r01-linux.zip;
59 sha1 = "be9be6a99ca32875c96ec7f91160ca9fce7e3c7d";
60 };
61 meta = {
62 description = "Android SDK Platform 2.0, revision 1";
63 url = http://developer.android.com/sdk/android-2.0.html;
64 };
65 };
66
67 platform_6 = buildPlatform {
68 name = "android-platform-2.0.1";
69 src = fetchurl {
70 url = https://dl-ssl.google.com/android/repository/android-2.0.1_r01-linux.zip;
71 sha1 = "ce2c971dce352aa28af06bda92a070116aa5ae1a";
72 };
73 meta = {
74 description = "Android SDK Platform 2.0.1_r1";
75 url = http://developer.android.com/sdk/android-2.0.1.html;
76 };
77 };
78
79 platform_7 = buildPlatform {
80 name = "android-platform-2.1";
81 src = fetchurl {
82 url = https://dl-ssl.google.com/android/repository/android-2.1_r03-linux.zip;
83 sha1 = "5ce51b023ac19f8738500b1007a1da5de2349a1e";
84 };
85 meta = {
86 description = "Android SDK Platform 2.1_r3";
87 url = http://developer.android.com/sdk/;
88 };
89 };
90
91 platform_8 = buildPlatform {
92 name = "android-platform-2.2";
93 src = fetchurl {
94 url = https://dl-ssl.google.com/android/repository/android-2.2_r03-linux.zip;
95 sha1 = "231262c63eefdff8fd0386e9ccfefeb27a8f9202";
96 };
97 meta = {
98 description = "Android SDK Platform 2.2_r3";
99 url = http://developer.android.com/sdk/;
100 };
101 };
102
103 platform_9 = buildPlatform {
104 name = "android-platform-2.3.1";
105 src = fetchurl {
106 url = https://dl-ssl.google.com/android/repository/android-2.3.1_r02-linux.zip;
107 sha1 = "209f8a7a8b2cb093fce858b8b55fed3ba5206773";
108 };
109 meta = {
110 description = "Android SDK Platform 2.3.1_r2";
111 url = http://developer.android.com/sdk/;
112 };
113 };
114
115 platform_10 = buildPlatform {
116 name = "android-platform-2.3.3";
117 src = fetchurl {
118 url = https://dl-ssl.google.com/android/repository/android-2.3.3_r02-linux.zip;
119 sha1 = "887e37783ec32f541ea33c2c649dda648e8e6fb3";
120 };
121 meta = {
122 description = "Android SDK Platform 2.3.3._r2";
123 url = http://developer.android.com/sdk/;
124 };
125 };
126
127 platform_11 = buildPlatform {
128 name = "android-platform-3.0";
129 src = fetchurl {
130 url = https://dl-ssl.google.com/android/repository/android-3.0_r02-linux.zip;
131 sha1 = "2c7d4bd13f276e76f6bbd87315fe27aba351dd37";
132 };
133 meta = {
134 description = "Android SDK Platform 3.0, revision 2";
135 url = http://developer.android.com/sdk/;
136 };
137 };
138
139 platform_12 = buildPlatform {
140 name = "android-platform-3.1";
141 src = fetchurl {
142 url = https://dl-ssl.google.com/android/repository/android-3.1_r03-linux.zip;
143 sha1 = "4a50a6679cd95bb68bb5fc032e754cd7c5e2b1bf";
144 };
145 meta = {
146 description = "Android SDK Platform 3.1, revision 3";
147 url = http://developer.android.com/sdk/;
148 };
149 };
150
151 platform_13 = buildPlatform {
152 name = "android-platform-3.2";
153 src = fetchurl {
154 url = https://dl-ssl.google.com/android/repository/android-3.2_r01-linux.zip;
155 sha1 = "6189a500a8c44ae73a439604363de93591163cd9";
156 };
157 meta = {
158 description = "Android SDK Platform 3.2, revision 1";
159 url = http://developer.android.com/sdk/;
160 };
161 };
162
163 platform_14 = buildPlatform {
164 name = "android-platform-4.0";
165 src = fetchurl {
166 url = https://dl-ssl.google.com/android/repository/android-14_r04.zip;
167 sha1 = "d4f1d8fbca25225b5f0e7a0adf0d39c3d6e60b3c";
168 };
169 meta = {
170 description = "Android SDK Platform 4.0";
171
172 };
173 };
174
175 platform_15 = buildPlatform {
176 name = "android-platform-4.0.3";
177 src = fetchurl {
178 url = https://dl-ssl.google.com/android/repository/android-15_r05.zip;
179 sha1 = "69ab4c443b37184b2883af1fd38cc20cbeffd0f3";
180 };
181 meta = {
182 description = "Android SDK Platform 4.0.3";
183
184 };
185 };
186
187 platform_16 = buildPlatform {
188 name = "android-platform-4.1.2";
189 src = fetchurl {
190 url = https://dl-ssl.google.com/android/repository/android-16_r05.zip;
191 sha1 = "12a5ce6235a76bc30f62c26bda1b680e336abd07";
192 };
193 meta = {
194 description = "Android SDK Platform 4.1.2";
195
196 };
197 };
198
199 platform_17 = buildPlatform {
200 name = "android-platform-4.2.2";
201 src = fetchurl {
202 url = https://dl-ssl.google.com/android/repository/android-17_r03.zip;
203 sha1 = "dbe14101c06e6cdb34e300393e64e64f8c92168a";
204 };
205 meta = {
206 description = "Android SDK Platform 4.2.2";
207
208 };
209 };
210
211 platform_18 = buildPlatform {
212 name = "android-platform-4.3.1";
213 src = fetchurl {
214 url = https://dl-ssl.google.com/android/repository/android-18_r03.zip;
215 sha1 = "e6b09b3505754cbbeb4a5622008b907262ee91cb";
216 };
217 meta = {
218 description = "Android SDK Platform 4.3.1";
219
220 };
221 };
222
223 platform_19 = buildPlatform {
224 name = "android-platform-4.4.2";
225 src = fetchurl {
226 url = https://dl-ssl.google.com/android/repository/android-19_r04.zip;
227 sha1 = "2ff20d89e68f2f5390981342e009db5a2d456aaa";
228 };
229 meta = {
230 description = "Android SDK Platform 4.4.2";
231
232 };
233 };
234
235 platform_20 = buildPlatform {
236 name = "android-platform-4.4W.2";
237 src = fetchurl {
238 url = https://dl-ssl.google.com/android/repository/android-20_r02.zip;
239 sha1 = "a9251f8a3f313ab05834a07a963000927637e01d";
240 };
241 meta = {
242 description = "Android SDK Platform 4.4W.2";
243
244 };
245 };
246
247 platform_21 = buildPlatform {
248 name = "android-platform-5.0.1";
249 src = fetchurl {
250 url = https://dl-ssl.google.com/android/repository/android-21_r02.zip;
251 sha1 = "53536556059bb29ae82f414fd2e14bc335a4eb4c";
252 };
253 meta = {
254 description = "Android SDK Platform 5.0.1";
255
256 };
257 };
258
259 platform_22 = buildPlatform {
260 name = "android-platform-5.1.1";
261 src = fetchurl {
262 url = https://dl-ssl.google.com/android/repository/android-22_r02.zip;
263 sha1 = "5d1bd10fea962b216a0dece1247070164760a9fc";
264 };
265 meta = {
266 description = "Android SDK Platform 5.1.1";
267
268 };
269 };
270
271}