diff options
Diffstat (limited to 'gnu')
| -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 |