diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-08-07 04:10:26 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-08-07 10:22:26 +0200 |
| commit | 0c46e1b510bfca6b0a46eb3210da54431c0b6615 (patch) | |
| tree | e0846009c0e691ce053d83ee5a247f1f0793b51d | |
| parent | ea51821a9d9fab4f142dd44f1b83dcfffb64428a (diff) | |
gnu: android: Export android-platform-version.
* gnu/packages/android.scm (android-platform-version): Export it.
Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
| -rw-r--r-- | gnu/packages/android.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/android.scm b/gnu/packages/android.scm index f7f3aca4a2..8a094d0827 100644 --- a/gnu/packages/android.scm +++ b/gnu/packages/android.scm @@ -126,7 +126,7 @@ use their packages mostly unmodified in our Android NDK build system.") ;; Big thanks to them for laying the groundwork. ;; 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") (define (android-platform-system-core version) (origin |