Comment 1 for bug 1261637

$ sudo apt-get install android-platform-headers
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package android-platform-headers is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
However the following packages replace it:
  android-headers

E: Package 'android-platform-headers' has no installation candidate