diff options
-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 8a094d0827..544a65d0af 100644 --- a/gnu/packages/android.scm +++ b/gnu/packages/android.scm @@ -128,7 +128,7 @@ use their packages mostly unmodified in our Android NDK build system.") ;; The version tag is consistent between all repositories. (define-public (android-platform-version) "7.1.2_r36") -(define (android-platform-system-core version) +(define-public (android-platform-system-core version) (origin (method git-fetch) (uri (git-reference |