From 0915f161674a557a1625d9c252c76748c837eb7d Mon Sep 17 00:00:00 2001
From: Sander van der Burg <svanderburg@gmail.com>
Date: Tue, 6 Oct 2015 13:26:53 +0000
Subject: [PATCH] androidsdk: add SDK option for Android API-level 23

---
 pkgs/development/mobile/androidenv/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/development/mobile/androidenv/default.nix b/pkgs/development/mobile/androidenv/default.nix
index 691c301ebc2..ed8e838722c 100644
--- a/pkgs/development/mobile/androidenv/default.nix
+++ b/pkgs/development/mobile/androidenv/default.nix
@@ -155,6 +155,12 @@ rec {
     useExtraSupportLibs = true;
     useGooglePlayServices = true;
   };
+  
+  androidsdk_6_0 = androidsdk {
+    platformVersions = [ "23" ];
+    abiVersions = [ "armeabi-v7a" "x86" "x86_64"];
+    useGoogleAPIs = true;
+  };
 
   androidndk = import ./androidndk.nix {
     inherit (pkgs) stdenv fetchurl zlib ncurses p7zip lib makeWrapper;