https://dl.google.com/android/repository/ # 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_ = buildPlatform { name = "android-platform-"; src = fetchurl { url = ; sha1 = ""; }; meta = { description = ""; homepage = ; }; }; }