summaryrefslogtreecommitdiff
path: root/gnu/packages/android.scm
diff options
context:
space:
mode:
authorDenis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>2020-08-07 04:10:26 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-08-07 10:22:26 +0200
commit0c46e1b510bfca6b0a46eb3210da54431c0b6615 (patch)
treee0846009c0e691ce053d83ee5a247f1f0793b51d /gnu/packages/android.scm
parentea51821a9d9fab4f142dd44f1b83dcfffb64428a (diff)
gnu: android: Export android-platform-version.
* gnu/packages/android.scm (android-platform-version): Export it. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/packages/android.scm')
-rw-r--r--gnu/packages/android.scm2
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