Subject: Export android-platform-system-core
From: Denis 'GNUtoo' Carikli <[email-masked]>
To: [email-masked]
Date: Fri, 7 Aug 2020 02:44:23 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Here are two patches to export android-platform-system-core.

This way it can be used as a dependency like that:
> (native-inputs
> `(("android-core" ,(android-platform-system-core
>                    (android-platform-version)))))

Denis.