Subject: Re: [bug#64808] [PATCH] gnu: Add andorid-sdkmanager.

From: Andreas Enge <[email-masked]>
Date: Mon, 24 Jul 2023 15:04:52 +0200

Something like this works:
   ANDROID_HOME=/tmp/sdk sdkmanager --install tools
and creates a directory
   /tmp/sdk/tools
with stuff in it.

So if it works for you, I would be happy to push the new package.

Andreas