Subject: Re: [bug#42734] [PATCH 1/2] gnu: android: Export android-platform-version.

From: Mathieu Othacehe <[email-masked]>
Date: Fri, 07 Aug 2020 10:24:34 +0200

Hello Denis,

>  ;; The version tag is consistent between all repositories.
> -(define (android-platform-version) "7.1.2_r36")
> +(define-public (android-platform-version) "7.1.2_r36")

We could turn this procedure into a variable.

Anyway, pushed those two patches,

Thanks,

Mathieu