google-android-platform-13-ins software package provides Googles Android SDK Platform 13 Installer, you can install in your Debian 9 (Stretch) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install google-android-platform-13-ins
google-android-platform-13-ins is installed in your system.
Make ensure the google-android-platform-13-ins package were installed using the commands given below,
$ sudo dpkg-query -l | grep google-android-platform-13-ins*
You will get with google-android-platform-13-ins package name, version, architecture and description in a table
| Distro | Debian 9 stretch |
| Section | Development |
| Package | google-android-platform-13-ins |
| Version | 13+r01 |
| Description | Googles Android SDK Platform 13 Installer |
| Sub Section | devel |