# Generated by mksrcinfo v8
# Sun Feb 28 15:51:26 UTC 2016
pkgbase = android-sources-17
	pkgdesc = Android SDK Sources, API-17
	pkgver = 4.2_r01
	pkgrel = 1
	url = http://developer.android.com/sdk/index.html
	arch = any
	license = custom
	options = !strip
	source = http://dl.google.com/android/repository/sources-17_r01.zip
	sha1sums = 6f1f18cd2d2b1852d7f6892df9cee3823349d43a

pkgname = android-sources-17