nixpkgs/pkgs/development/mobile/androidenv/platforms-linux.nix
taku0 dd89ec5785 Bump Android packages to newest versions, add androidsdk_5_1_1 and androidsdk_5_1_1_extras to env
Detailed changes:
- android-sdk: update 24.0.1 -> 24.1.2
- android-platforms: add 5.1.1
- android-platform-tools: update 21 -> 22
- android-build-tools: update 21.1.2 -> 22.0.1
- android-support: update 21 -> 22.1.1
- android-support-repository: update 9 -> 14
2015-05-02 22:15:29 +09:00

271 lines
7.4 KiB
Nix

# This file is generated from generate-platforms.sh. DO NOT EDIT.
# Execute generate-platforms.sh or fetch.sh to update the file.
{stdenv, fetchurl, unzip}:
let
buildPlatform = args:
stdenv.mkDerivation (args // {
buildInputs = [ unzip ];
buildCommand = ''
mkdir -p $out
cd $out
unzip $src
'';
});
in
{
platform_2 = buildPlatform {
name = "android-platform-1.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-1.1_r1-linux.zip;
sha1 = "c054d25c9b4c6251fa49c2f9c54336998679d3fe";
};
meta = {
description = "Android SDK Platform 1.1_r1";
url = http://developer.android.com/sdk/android-1.1.html;
};
};
platform_3 = buildPlatform {
name = "android-platform-1.5";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-1.5_r04-linux.zip;
sha1 = "5c134b7df5f4b8bd5b61ba93bdaebada8fa3468c";
};
meta = {
description = "Android SDK Platform 1.5_r3";
url = http://developer.android.com/sdk/android-1.5.html;
};
};
platform_4 = buildPlatform {
name = "android-platform-1.6";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-1.6_r03-linux.zip;
sha1 = "483ed088e45bbdf3444baaf9250c8b02e5383cb0";
};
meta = {
description = "Android SDK Platform 1.6_r2";
url = http://developer.android.com/sdk/android-1.6.html;
};
};
platform_5 = buildPlatform {
name = "android-platform-2.0";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.0_r01-linux.zip;
sha1 = "be9be6a99ca32875c96ec7f91160ca9fce7e3c7d";
};
meta = {
description = "Android SDK Platform 2.0, revision 1";
url = http://developer.android.com/sdk/android-2.0.html;
};
};
platform_6 = buildPlatform {
name = "android-platform-2.0.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.0.1_r01-linux.zip;
sha1 = "ce2c971dce352aa28af06bda92a070116aa5ae1a";
};
meta = {
description = "Android SDK Platform 2.0.1_r1";
url = http://developer.android.com/sdk/android-2.0.1.html;
};
};
platform_7 = buildPlatform {
name = "android-platform-2.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.1_r03-linux.zip;
sha1 = "5ce51b023ac19f8738500b1007a1da5de2349a1e";
};
meta = {
description = "Android SDK Platform 2.1_r3";
url = http://developer.android.com/sdk/;
};
};
platform_8 = buildPlatform {
name = "android-platform-2.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.2_r03-linux.zip;
sha1 = "231262c63eefdff8fd0386e9ccfefeb27a8f9202";
};
meta = {
description = "Android SDK Platform 2.2_r3";
url = http://developer.android.com/sdk/;
};
};
platform_9 = buildPlatform {
name = "android-platform-2.3.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.3.1_r02-linux.zip;
sha1 = "209f8a7a8b2cb093fce858b8b55fed3ba5206773";
};
meta = {
description = "Android SDK Platform 2.3.1_r2";
url = http://developer.android.com/sdk/;
};
};
platform_10 = buildPlatform {
name = "android-platform-2.3.3";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-2.3.3_r02-linux.zip;
sha1 = "887e37783ec32f541ea33c2c649dda648e8e6fb3";
};
meta = {
description = "Android SDK Platform 2.3.3._r2";
url = http://developer.android.com/sdk/;
};
};
platform_11 = buildPlatform {
name = "android-platform-3.0";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-3.0_r02-linux.zip;
sha1 = "2c7d4bd13f276e76f6bbd87315fe27aba351dd37";
};
meta = {
description = "Android SDK Platform 3.0, revision 2";
url = http://developer.android.com/sdk/;
};
};
platform_12 = buildPlatform {
name = "android-platform-3.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-3.1_r03-linux.zip;
sha1 = "4a50a6679cd95bb68bb5fc032e754cd7c5e2b1bf";
};
meta = {
description = "Android SDK Platform 3.1, revision 3";
url = http://developer.android.com/sdk/;
};
};
platform_13 = buildPlatform {
name = "android-platform-3.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-3.2_r01-linux.zip;
sha1 = "6189a500a8c44ae73a439604363de93591163cd9";
};
meta = {
description = "Android SDK Platform 3.2, revision 1";
url = http://developer.android.com/sdk/;
};
};
platform_14 = buildPlatform {
name = "android-platform-4.0";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-14_r04.zip;
sha1 = "d4f1d8fbca25225b5f0e7a0adf0d39c3d6e60b3c";
};
meta = {
description = "Android SDK Platform 4.0";
};
};
platform_15 = buildPlatform {
name = "android-platform-4.0.3";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-15_r05.zip;
sha1 = "69ab4c443b37184b2883af1fd38cc20cbeffd0f3";
};
meta = {
description = "Android SDK Platform 4.0.3";
};
};
platform_16 = buildPlatform {
name = "android-platform-4.1.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-16_r05.zip;
sha1 = "12a5ce6235a76bc30f62c26bda1b680e336abd07";
};
meta = {
description = "Android SDK Platform 4.1.2";
};
};
platform_17 = buildPlatform {
name = "android-platform-4.2.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-17_r03.zip;
sha1 = "dbe14101c06e6cdb34e300393e64e64f8c92168a";
};
meta = {
description = "Android SDK Platform 4.2.2";
};
};
platform_18 = buildPlatform {
name = "android-platform-4.3.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-18_r03.zip;
sha1 = "e6b09b3505754cbbeb4a5622008b907262ee91cb";
};
meta = {
description = "Android SDK Platform 4.3.1";
};
};
platform_19 = buildPlatform {
name = "android-platform-4.4.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-19_r04.zip;
sha1 = "2ff20d89e68f2f5390981342e009db5a2d456aaa";
};
meta = {
description = "Android SDK Platform 4.4.2";
};
};
platform_20 = buildPlatform {
name = "android-platform-4.4W.2";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-20_r02.zip;
sha1 = "a9251f8a3f313ab05834a07a963000927637e01d";
};
meta = {
description = "Android SDK Platform 4.4W.2";
};
};
platform_21 = buildPlatform {
name = "android-platform-5.0.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-21_r02.zip;
sha1 = "53536556059bb29ae82f414fd2e14bc335a4eb4c";
};
meta = {
description = "Android SDK Platform 5.0.1";
};
};
platform_22 = buildPlatform {
name = "android-platform-5.1.1";
src = fetchurl {
url = https://dl-ssl.google.com/android/repository/android-22_r02.zip;
sha1 = "5d1bd10fea962b216a0dece1247070164760a9fc";
};
meta = {
description = "Android SDK Platform 5.1.1";
};
};
}